TY  - RPRT
TI  - Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems
AU  - Marco Bernardo
AU  - Marino Miculan
PY  - 2016
UR  - https://arxiv.org/abs/1601.06198
ID  - 1601.06198
ER  -