TY  - RPRT
TI  - On Stabilization in Herman's Algorithm
AU  - Stefan Kiefer
AU  - Andrzej Murawski
AU  - Joël Ouaknine
AU  - James Worrell
AU  - Lijun Zhang
PY  - 2011
UR  - https://arxiv.org/abs/1104.3100
ID  - 1104.3100
ER  -