Titel |
Verification of population protocols |
|---|---|
Beteiligt |
Javier Esparza (Verfasser) |
Erschienen in |
Acta informatica 17.6.2016, Seite 1-25 |
Erschienen |
2016 |
Sprache |
|
Land |
|
Thema |
Computer Science.
Logics and Meanings of Programs. Computer Systems Organization and Communication Networks. Software Engineering/Programming and Operating Systems.
Data Structures, Cryptology and Information Theory.
Theory of Computation. Information Systems and Communication Service. |
Persistent Identifier |
urn:nbn:de:1111-201606188944 (URN) |
Datensatz-ID |
1103998706 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: