Login
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Blondin, Michael; Esparza, Javier; Jaax, Stefan; Meyer, Philipp J.
- Titel:
- Towards efficient verification of population protocols
- 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