%0 Conference Paper %1 conf/atva/EsparzaHJM20 %A Esparza, Javier %A Helfrich, Martin %A Jaax, Stefan %A Meyer, Philipp J. %B ATVA %D 2020 %E Hung, Dang Van %E Sokolsky, Oleg %I Springer %K dblp %P 550-556 %T Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs. %U http://dblp.uni-trier.de/db/conf/atva/atva2020.html#EsparzaHJM20 %V 12302 %@ 978-3-030-59152-6

@inproceedings{conf/atva/EsparzaHJM20, added-at = {2020-10-20T00:00:00.000+0200}, author = {Esparza, Javier and Helfrich, Martin and Jaax, Stefan and Meyer, Philipp J.}, biburl = {https://www.bibsonomy.org/bibtex/2d7b5a00f0952ebd3c1b77d31759c7dfb/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2020}, editor = {Hung, Dang Van and Sokolsky, Oleg}, ee = {https://doi.org/10.1007/978-3-030-59152-6_32}, interhash = {921493102ff9a6234a6080ea41e39edf}, intrahash = {d7b5a00f0952ebd3c1b77d31759c7dfb}, isbn = {978-3-030-59152-6}, keywords = {dblp}, pages = {550-556}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-10-21T11:46:36.000+0200}, title = {Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2020.html#EsparzaHJM20}, volume = 12302, year = 2020 }