Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs
J. Esparza, M. Helfrich, S. Jaax, и P. Meyer. Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, том 12302 из Lecture Notes in Computer Science, стр. 550--556. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2007.07638">Link</a><br>#conference.
DOI: 10.1007/978-3-030-59152-6\_32
%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
}