Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis. Algorithmic Verification of Population Protocols. In Shlomi Dolev, Jorge Arturo Cobb, Michael J. Fischer, Moti Yung, editors, Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings. Volume 6366 of Lecture Notes in Computer Science, pages 221-235, Springer, 2010. [doi]
@inproceedings{ChatzigiannakisMS10,
title = {Algorithmic Verification of Population Protocols},
author = {Ioannis Chatzigiannakis and Othon Michail and Paul G. Spirakis},
year = {2010},
doi = {10.1007/978-3-642-16023-3_19},
url = {http://dx.doi.org/10.1007/978-3-642-16023-3_19},
tags = {protocol},
researchr = {https://researchr.org/publication/ChatzigiannakisMS10},
cites = {0},
citedby = {0},
pages = {221-235},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings},
editor = {Shlomi Dolev and Jorge Arturo Cobb and Michael J. Fischer and Moti Yung},
volume = {6366},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-16022-6},
}