Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Verification of Population Protocols

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}
}

PDF (219 kB)