Reference:

Javier Esparza, Pierre Ganty, Jerome Leroux, and Rupak Majumdar. Model checking population protocols. Technical report, Technical University of Munich, 2016. Submitted for publication.

Suggested BibTeX entry:

@techreport{fsttcs16,
    author = {Javier Esparza and Pierre Ganty and Jerome Leroux and Rupak Majumdar},
    institution = {Technical University of Munich},
    note = {Submitted for publication},
    title = {Model Checking Population Protocols},
    year = {2016}
}