Towards efficient verification of population protocols

Titel:: Towards efficient verification of population protocols
Dokumenttyp:: Zeitschriftenaufsatz
Autor(en):: Blondin, Michael; Esparza, Javier; Jaax, Stefan; Meyer, Philipp J.
Zeitschriftentitel:: Formal Methods in System Design
Jahr:: 2021
Volltext / DOI:: doi:10.1007/s10703-021-00367-3
Verlag / Institution:: Springer Science and Business Media LLC
E-ISSN:: 0925-98561572-8102
Publikationsdatum:: 14.04.2021
BibTeX

Vorkommen: