Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
http://drops.dagstuhl.de/opus/volltexte/2018/9569/ (Publisher version)
http://drops.dagstuhl.de/doku/urheberrecht1.html (Copyright transfer agreement)
Esparza, J., Ganty, P., Majumdar, R., & Weil-Kennedy, C. (2018). Verification of Immediate Observation Population Protocols. In S. Schewe, & L. Zhang (Eds.), 29th International Conference on Concurrency Theory (pp. 1-16). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.CONCUR.2018.31.