User: Guest  Login
If you experience problems opening the document, please try this link.
Document type:
Zeitschriftenaufsatz
Author(s):
Esparza, Javier; Jaax, Stefan; Raskin, Mikhail; Weil-Kennedy, Chana
Title:
The complexity of verifying population protocols
Journal title:
Distributed Computing
Year:
2021
Journal volume:
34
Journal issue:
2
Pages contribution:
133-177
Fulltext / DOI:
doi:10.1007/s00446-021-00390-x
Publisher:
Springer Science and Business Media LLC
E-ISSN:
0178-27701432-0452
Date of publication:
24.03.2021
 BibTeX