%0 Conference Paper %1 conf/concur/BlondinEK18 %A Blondin, Michael %A Esparza, Javier %A Kucera, Antonín %B CONCUR %D 2018 %E Schewe, Sven %E Zhang, Lijun %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 33:1-33:16 %T Automatic Analysis of Expected Termination Time for Population Protocols. %U http://dblp.uni-trier.de/db/conf/concur/concur2018.html#BlondinEK18 %V 118 %@ 978-3-95977-087-3

@inproceedings{conf/concur/BlondinEK18, added-at = {2023-12-14T15:17:17.000+0100}, author = {Blondin, Michael and Esparza, Javier and Kucera, Antonín}, biburl = {https://www.bibsonomy.org/bibtex/223d38685f076a3604b8bfab9b9888338/admin}, booktitle = {CONCUR}, crossref = {conf/concur/2018}, editor = {Schewe, Sven and Zhang, Lijun}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.33}, interhash = {e94d2955f7e1293f84cc6c523df0532f}, intrahash = {23d38685f076a3604b8bfab9b9888338}, isbn = {978-3-95977-087-3}, keywords = {}, pages = {33:1-33:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-14T15:17:17.000+0100}, title = {Automatic Analysis of Expected Termination Time for Population Protocols.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2018.html#BlondinEK18}, volume = 118, year = 2018 }