research unit 1

This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies. For more information visit
Titles (1)Keywords (2)Abstracts (3)
[RACTI-RU1-2010-25] Chatzigiannakis, Ioannis, Michail, Othon and Spirakis, Paul, Algorithmic Verification of Population Protocols, in: 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pages 221-235, Springer-Verlag Berlin Heidelberg, New York City, USA, 2010. [DOI]