TY  - RPRT
TI  - Confluence Reduction for Probabilistic Systems (extended version)
AU  - Mark Timmer
AU  - Mariëlle Stoelinga
AU  - Jaco van de Pol
PY  - 2010
UR  - https://arxiv.org/abs/1011.2314
ID  - 1011.2314
ER  -