User: Guest  Login
If you experience problems opening the document, please try this link.
Document type:
Zeitschriftenaufsatz
Author(s):
Blondin, Michael; Esparza, Javier; Jaax, Stefan; Meyer, Philipp J.
Title:
Towards efficient verification of population protocols
Journal title:
Formal Methods in System Design
Year:
2021
Fulltext / DOI:
doi:10.1007/s10703-021-00367-3
Publisher:
Springer Science and Business Media LLC
E-ISSN:
0925-98561572-8102
Date of publication:
14.04.2021
 BibTeX