%0 Conference Paper %1 esparza2020peregrine %A Esparza, Javier %A Helfrich, Martin %A Jaax, Stefan %A Meyer, Philipp J. %B Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings %D 2020 %E Hung, Dang Van %E Sokolsky, Oleg %I Springer %K conference %P 550--556 %R 10.1007/978-3-030-59152-6\_32 %T Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs %U https://doi.org/10.1007/978-3-030-59152-6\_32 %V 12302

@inproceedings{esparza2020peregrine, added-at = {2021-04-21T17:25:49.000+0200}, author = {Esparza, Javier and Helfrich, Martin and Jaax, Stefan and Meyer, Philipp J.}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://www.bibsonomy.org/bibtex/2dd1b6d53f6c059848297e44446babc3a/paves}, booktitle = {Automated Technology for Verification and Analysis - 18th International Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings}, doi = {10.1007/978-3-030-59152-6\_32}, editor = {Hung, Dang Van and Sokolsky, Oleg}, interhash = {921493102ff9a6234a6080ea41e39edf}, intrahash = {dd1b6d53f6c059848297e44446babc3a}, keywords = {conference}, note = {Preprint: <a href="https://arxiv.org/abs/2007.07638">Link</a><br>#conference}, pages = {550--556}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-09-24T19:39:45.000+0200}, title = {Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs}, url = {https://doi.org/10.1007/978-3-030-59152-6\_32}, volume = 12302, year = 2020 }