TY  - RPRT
TI  - Stuttering Equivalence for Parity Games
AU  - Sjoerd Cranen
AU  - Jeroen J. A. Keiren
AU  - Tim A. C. Willemse
PY  - 2011
DO  - 10.1007/978-3-642-20398-5_16
UR  - https://arxiv.org/abs/1102.2366
ID  - 1102.2366
ER  -