Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar. Verification of population protocols. Acta Informatica, 54(2):191-215, 2017. [doi]
@article{EsparzaGLM17,
title = {Verification of population protocols},
author = {Javier Esparza and Pierre Ganty and Jérôme Leroux and Rupak Majumdar},
year = {2017},
doi = {10.1007/s00236-016-0272-3},
url = {http://dx.doi.org/10.1007/s00236-016-0272-3},
researchr = {https://researchr.org/publication/EsparzaGLM17},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {54},
number = {2},
pages = {191-215},
}