TY  - RPRT
TI  - Axiomatising Infinitary Probabilistic Weak Bisimilarity of Finite-State Behaviours
AU  - Nick Fischer
AU  - Rob van Glabbeek
PY  - 2018
DO  - 10.1016/j.jlamp.2018.09.006
UR  - https://arxiv.org/abs/1810.07488
ID  - 1810.07488
ER  -