Reference:

Jérôme Leroux Javier Esparza, Pierre Ganty and Rupak Majumdar. Verification of population protocols. In CONCUR, 2015.

Suggested BibTeX entry:

@inproceedings{DBLP:confcavEGLM15,
    author = {Javier Esparza, Pierre Ganty, J\'er\^{o}me Leroux and Rupak Majumdar},
    booktitle = {CONCUR},
    title = {Verification of Population Protocols},
    year = {2015}
}