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


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

Suggested BibTeX entry:

    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}

PDF (219 kB)