%0 Conference Paper %1 conf/concur/EsparzaGMW18 %A Esparza, Javier %A Ganty, Pierre %A Majumdar, Rupak %A Weil-Kennedy, Chana %B CONCUR %D 2018 %E Schewe, Sven %E Zhang, Lijun %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 31:1-31:16 %T Verification of Immediate Observation Population Protocols. %U http://dblp.uni-trier.de/db/conf/concur/concur2018.html#EsparzaGMW18 %V 118 %@ 978-3-95977-087-3

@inproceedings{conf/concur/EsparzaGMW18, added-at = {2021-04-09T00:00:00.000+0200}, author = {Esparza, Javier and Ganty, Pierre and Majumdar, Rupak and Weil-Kennedy, Chana}, biburl = {https://www.bibsonomy.org/bibtex/20cbf13905e4bbcf823f00c7dd9157d9b/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2018}, editor = {Schewe, Sven and Zhang, Lijun}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.31}, interhash = {a215c6c51b07ffd6e6bd4ac16c251cf0}, intrahash = {0cbf13905e4bbcf823f00c7dd9157d9b}, isbn = {978-3-95977-087-3}, keywords = {dblp}, pages = {31:1-31:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T13:06:23.000+0200}, title = {Verification of Immediate Observation Population Protocols.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2018.html#EsparzaGMW18}, volume = 118, year = 2018 }