I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Model Checking Population Protocols


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:

    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}

PDF (502 kB)
See arxiv.org ...