![](/img/cover-not-exists.png)
[IEEE 2011 31st International Conference on Distributed Computing Systems (ICDCS) - Minneapolis, MN, USA (2011.06.20-2011.06.24)] 2011 31st International Conference on Distributed Computing Systems - Guidelines for the Verification of Population Protocols
Clement, Julien, Delporte-Gallet, Carole, Fauconnier, Hugues, Sighireanu, MihaelaYear:
2011
Language:
english
DOI:
10.1109/icdcs.2011.36
File:
PDF, 474 KB
english, 2011