Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 1.

Conference or workshop item

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)
[img]
Preview

This list was generated on Mon Apr 22 17:09:27 2019 BST.