Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
Bruna, Maria and Grigore, Radu and Kiefer, Stefan and Ouaknine, Joel and Worrell, James (2016) Proving the Herman-Protocol Conjecture. In: Chatzigiannakis, Ioannis and Mitzenmacher, Michael and Rabani, Yuval and Sangiorgi, Davide, eds. 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany 104:1-104:12. ISBN 978-3-95977-013-2. (doi:https://doi.org/10.4230/LIPIcs.ICALP.2016.104) (Full text available) |