CITATION STYLE
The quantitative modal μ-calculus, and gambling games. (2005). In Abstraction, Refinement and Proof for Probabilistic Systems (pp. 293–310). Springer-Verlag. https://doi.org/10.1007/0-387-27006-x_11
Mendeley helps you to discover research relevant for your work.