TY  - RPRT
TI  - On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version)
AU  - Gaoang Bian
AU  - Alessandro Abate
PY  - 2017
UR  - https://arxiv.org/abs/1701.04547
ID  - 1701.04547
ER  -