@inproceedings{0a4eda3d856748088bafc874302b1b32,
title = "Population Protocols: Beyond Runtime Analysis",
abstract = "We survey our recent work on the verification of population protocols and their state complexity.",
author = "Javier Esparza",
note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 15th International Conference on Reachability Problems, RP 2021 ; Conference date: 25-10-2021 Through 27-10-2021",
year = "2021",
doi = "10.1007/978-3-030-89716-1_3",
language = "English",
isbn = "9783030897154",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "28--51",
editor = "Bell, {Paul C.} and Patrick Totzke and Igor Potapov",
booktitle = "Reachability Problems - 15th International Conference, RP 2021, Proceedings",
}