%0 Conference Paper %1 conf/fsttcs/EsparzaGLM16 %A Esparza, Javier %A Ganty, Pierre %A Leroux, Jérôme %A Majumdar, Rupak %B FSTTCS %D 2016 %E Lal, Akash %E Akshay, S. %E Saurabh, Saket %E Sen, Sandeep %I Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik %K checking model population protocols %P 27:1-27:14 %T Model Checking Population Protocols. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2016.html#EsparzaGLM16 %V 65 %@ 978-3-95977-027-9

@inproceedings{conf/fsttcs/EsparzaGLM16, added-at = {2018-09-23T15:43:23.000+0200}, author = {Esparza, Javier and Ganty, Pierre and Leroux, Jérôme and Majumdar, Rupak}, biburl = {https://www.bibsonomy.org/bibtex/22cc2591423cdf5a1e96470dc4f396868/pavestest}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2016}, editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.27}, interhash = {8797224176707280f85e75a3463d9e4a}, intrahash = {2cc2591423cdf5a1e96470dc4f396868}, isbn = {978-3-95977-027-9}, keywords = {checking model population protocols}, pages = {27:1-27:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {LIPIcs}, timestamp = {2018-09-27T16:16:50.000+0200}, title = {Model Checking Population Protocols.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2016.html#EsparzaGLM16}, volume = 65, year = 2016 }