TY  - RPRT
TI  - A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
AU  - Giorgio Bacci
AU  - Giovanni Bacci
AU  - Kim G. Larsen
AU  - Radu Mardare
PY  - 2018
DO  - 10.23638/lmcs-14(4:15)2018
UR  - https://arxiv.org/abs/1702.02528
ID  - 1702.02528
ER  -