TY  - RPRT
TI  - Proving the Herman-Protocol Conjecture
AU  - Maria Bruna
AU  - Radu Grigore
AU  - Stefan Kiefer
AU  - Joël Ouaknine
AU  - James Worrell
PY  - 2016
DO  - 10.4230/lipics.icalp.2016.104
UR  - https://arxiv.org/abs/1504.01130
ID  - 1504.01130
ER  -