## Matteo Mio

*Probabilistic Modal μ-Calculus with Independent Product*

FoSSaCS, 2011.

@inproceedings{FoSSaCS-2011-Mio, author = "Matteo Mio", booktitle = "{Proceedings of the 14th International Conference on Foundations of Software Science and Computation Structures}", doi = "10.1007/978-3-642-19805-2_20", isbn = "978-3-642-19804-5", pages = "290--304", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Probabilistic Modal μ-Calculus with Independent Product}", volume = 6604, year = 2011, }