Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
http://drops.dagstuhl.de/opus/volltexte/2016/6862/ (Publisher version)
http://drops.dagstuhl.de/doku/urheberrecht1.html (Copyright transfer agreement)
Esparza, J., Ganty, P., Leroux, J., & Majumdar, R. (2016). Model Checking Population Protocols. In A. Lal, S. Akshay, S. Saurabh, & S. Sen (Eds.), 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (pp. 1-14). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.FSTTCS.2016.27.