Title |
Verification of population protocols |
|---|---|
Involved |
Javier Esparza (Verfasser) |
Published in |
Acta informatica 17.6.2016, Seite 1-25 |
Published |
2016 |
Language |
|
Country |
|
Subject |
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) |
Record ID |
1103998706 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: