@InProceedings{CDGFS11,
author={J. Clement and C. Delporte-Gallet and H. Fauconnie and M. Sighireanu},
title={Guidelines for the Verification of Population Protocols},
booktitle={Proc. 31st International Conference on Distributed Computing Systems (ICDCS'11)},
year={2011},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}