Reference:

Jérôme Leroux Javier Esparza, Pierre Ganty and Rupak Majumdar. Verification of population protocols. Acta Informatica, 2016. To appear.

Suggested BibTeX entry:

@article{EGML16-Acta,
    author = {Javier Esparza, Pierre Ganty, J\'er\^{o}me Leroux and Rupak Majumdar},
    journal = {Acta Informatica},
    note = {To appear.},
    title = {Verification of Population Protocols},
    year = {2016}
}