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. In CONCUR, 2015.

Suggested BibTeX entry:

@inproceedings{DBLP:confcavEGLM15,
    author = {Javier Esparza, Pierre Ganty, J\'er\^{o}me Leroux and Rupak Majumdar},
    booktitle = {CONCUR},
    title = {Verification of Population Protocols},
    year = {2015}
}

PDF (462 kB)
Journal version