Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
<< vorige    volgende >>
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 12 van 13 gevonden artikelen
 
 
  Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols
 
 
Titel: Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols
Auteur: Méry, Dominique
Poppleton, Michael
Verschenen in: Software and systems modeling
Paginering: Jaargang 16 (2015) nr. 4 pagina's 1083-1115
Jaar: 2015
Inhoud:
Uitgever: Springer Berlin Heidelberg, Berlin/Heidelberg
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 12 van 13 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland