TY  - RPRT
TI  - Bisimulations Meet PCTL Equivalences for Probabilistic Automata
AU  - Lei Song
AU  - Lijun Zhang
AU  - Jens Chr. Godskesen
AU  - Flemming Nielson
PY  - 2013
DO  - 10.2168/lmcs-9(2:7)2013
UR  - https://arxiv.org/abs/1106.2181
ID  - 1106.2181
ER  -