Details for the publication LiuXJTZ22.

Wanwei Liu, Junnan Xu, David N. Jansen (), Andrea Turrini, Lijun Zhang: An Axiom System of Probabilistic Mu-Calculus. In Tsinghua Science and Technology 27(2):372-385, 2022. DOI BIB