TY  - RPRT
TI  - Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation
AU  - Yuxin Deng
AU  - Wenjie Du
PY  - 2011
UR  - https://arxiv.org/abs/1103.4577
ID  - 1103.4577
ER  -