%0 Conference Paper %1 conf/concur/EsparzaGLM15 %A Esparza, Javier %A Ganty, Pierre %A Leroux, Jérôme %A Majumdar, Rupak %B CONCUR %D 2015 %E Aceto, Luca %E de Frutos-Escrig, David %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 470-482 %T Verification of Population Protocols. %U http://dblp.uni-trier.de/db/conf/concur/concur2015.html#EsparzaGLM15 %V 42 %@ 978-3-939897-91-0

@inproceedings{conf/concur/EsparzaGLM15, added-at = {2021-04-09T00:00:00.000+0200}, author = {Esparza, Javier and Ganty, Pierre and Leroux, Jérôme and Majumdar, Rupak}, biburl = {https://www.bibsonomy.org/bibtex/218659d3be44909af4b598e0e3dbc9f6d/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2015}, editor = {Aceto, Luca and de Frutos-Escrig, David}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.470}, interhash = {b602629a0beb7edaff40f1e0876f46e4}, intrahash = {18659d3be44909af4b598e0e3dbc9f6d}, isbn = {978-3-939897-91-0}, keywords = {dblp}, pages = {470-482}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T13:06:26.000+0200}, title = {Verification of Population Protocols.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2015.html#EsparzaGLM15}, volume = 42, year = 2015 }