%0 Conference Paper %1 conf/icalp/BrunaGKOW16 %A Bruna, Maria %A Grigore, Radu %A Kiefer, Stefan %A Ouaknine, Joël %A Worrell, James %B ICALP %D 2016 %E Chatzigiannakis, Ioannis %E Mitzenmacher, Michael %E Rabani, Yuval %E Sangiorgi, Davide %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 104:1-104:12 %T Proving the Herman-Protocol Conjecture. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2016.html#BrunaGKOW16 %V 55 %@ 978-3-95977-013-2

@inproceedings{conf/icalp/BrunaGKOW16, added-at = {2023-12-12T19:56:45.000+0100}, author = {Bruna, Maria and Grigore, Radu and Kiefer, Stefan and Ouaknine, Joël and Worrell, James}, biburl = {https://www.bibsonomy.org/bibtex/2066cd5faf784378b37fa6ac364eea285/admin}, booktitle = {ICALP}, crossref = {conf/icalp/2016}, editor = {Chatzigiannakis, Ioannis and Mitzenmacher, Michael and Rabani, Yuval and Sangiorgi, Davide}, ee = {https://doi.org/10.4230/LIPIcs.ICALP.2016.104}, interhash = {2841e5fb15256a44f65248349f7d574e}, intrahash = {066cd5faf784378b37fa6ac364eea285}, isbn = {978-3-95977-013-2}, keywords = {}, pages = {104:1-104:12}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-12T19:56:45.000+0100}, title = {Proving the Herman-Protocol Conjecture.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2016.html#BrunaGKOW16}, volume = 55, year = 2016 }