%0 Conference Paper %1 conf/lics/BlondinEJK18 %A Blondin, Michael %A Esparza, Javier %A Jaax, Stefan %A Kucera, Antonín %B LICS %D 2018 %E Dawar, Anuj %E Grädel, Erich %I ACM %K %P 1-10 %T Black Ninjas in the Dark: Formal Analysis of Population Protocols. %U http://dblp.uni-trier.de/db/conf/lics/lics2018.html#BlondinEJK18

@inproceedings{conf/lics/BlondinEJK18, added-at = {2023-12-12T20:12:46.000+0100}, author = {Blondin, Michael and Esparza, Javier and Jaax, Stefan and Kucera, Antonín}, biburl = {https://www.bibsonomy.org/bibtex/2278caa8df9184a6c102bd4935065ecb7/admin}, booktitle = {LICS}, crossref = {conf/lics/2018}, editor = {Dawar, Anuj and Grädel, Erich}, ee = {https://doi.org/10.1145/3209108.3209110}, interhash = {2c122f89e1814833291882f3ccf68968}, intrahash = {278caa8df9184a6c102bd4935065ecb7}, keywords = {}, pages = {1-10}, publisher = {ACM}, timestamp = {2023-12-12T20:12:46.000+0100}, title = {Black Ninjas in the Dark: Formal Analysis of Population Protocols.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2018.html#BlondinEJK18}, year = 2018 }