%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 conference %P 1-10 %T Black Ninjas in the Dark: Formal Analysis of Population Protocols. %U http://info.usherbrooke.ca/mblondin/papers/BEJK18.pdf %X n this interactive paper, which you should preferably read con-nected to the Internet, the Black Ninjas introduce you to populationprotocols, a fundamental model of distributed computation, and torecent work by the authors and their colleagues on their automaticverification.

@inproceedings{conf/lics/BlondinEJK18, abstract = {n this interactive paper, which you should preferably read con-nected to the Internet, the Black Ninjas introduce you to populationprotocols, a fundamental model of distributed computation, and torecent work by the authors and their colleagues on their automaticverification.}, added-at = {2018-11-07T11:38:57.000+0100}, author = {Blondin, Michael and Esparza, Javier and Jaax, Stefan and Kucera, Antonín}, biburl = {https://www.bibsonomy.org/bibtex/2278caa8df9184a6c102bd4935065ecb7/paves_previous}, booktitle = {LICS}, crossref = {conf/lics/2018}, editor = {Dawar, Anuj and Grädel, Erich}, ee = {http://doi.acm.org/10.1145/3209108.3209110}, interhash = {2c122f89e1814833291882f3ccf68968}, intrahash = {278caa8df9184a6c102bd4935065ecb7}, keywords = {conference}, pages = {1-10}, publisher = {ACM}, timestamp = {2023-09-24T19:48:14.000+0200}, title = {Black Ninjas in the Dark: Formal Analysis of Population Protocols.}, url = {http://info.usherbrooke.ca/mblondin/papers/BEJK18.pdf}, year = 2018 }