TY  - RPRT
TI  - Distribution-based bisimulation for labelled Markov processes
AU  - Pengfei Yang
AU  - David N. Jansen
AU  - Lijun Zhang
PY  - 2017
UR  - https://arxiv.org/abs/1706.10049
ID  - 1706.10049
ER  -