TY  - RPRT
TI  - Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
AU  - Giorgio Bacci
AU  - Giovanni Bacci
AU  - Kim G. Larsen
AU  - Radu Mardare
AU  - Qiyi Tang
AU  - Franck van Breugel
PY  - 2021
DO  - 10.23638/lmcs-17(1:9)2021
UR  - https://arxiv.org/abs/1907.01768
ID  - 1907.01768
ER  -