[XuLJZ19] An Axiomatisation of the Probabilistic μ-Calculus Xu, J.; Liu, W.; Jansen, D. N. and Zhang, L. In ICFEM, pages 420-437, LNCS 11852, 2019.
Downloads: bibURL: https://doi.org/10.1007/978-3-030-32409-4_26