|
[CDGFS11]
J. Clement, C. Delporte-Gallet, H. Fauconnie and M. Sighireanu.
Guidelines for the Verification of Population Protocols.
In Proc. 31st International Conference on Distributed Computing Systems (ICDCS'11).
2011.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|