Login
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Esparza, Javier; Jaax, Stefan; Raskin, Mikhail; Weil-Kennedy, Chana
- Titel:
- The complexity of verifying population protocols
- Zeitschriftentitel:
- Distributed Computing
- Jahr:
- 2021
- Band / Volume:
- 34
- Heft / Issue:
- 2
- Seitenangaben Beitrag:
- 133-177
- Volltext / DOI:
- doi:10.1007/s00446-021-00390-x
- Verlag / Institution:
- Springer Science and Business Media LLC
- E-ISSN:
- 0178-27701432-0452
- Publikationsdatum:
- 24.03.2021
BibTeX