TY  - RPRT
TI  - Cost Preserving Bisimulations for Probabilistic Automata
AU  - Andrea Turrini
AU  - Holger Hermanns
PY  - 2015
DO  - 10.2168/lmcs-10(4:11)2014
UR  - https://arxiv.org/abs/1410.8314
ID  - 1410.8314
ER  -