Publication

[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: bib