TY  - RPRT
TI  - Probabilistic Bisimulation: Naturally on Distributions
AU  - Holger Hermanns
AU  - Jan Krčál
AU  - Jan Křetínský
PY  - 2014
UR  - https://arxiv.org/abs/1404.5084
ID  - 1404.5084
ER  -