@incollection{McIver_2002,
    doi = {10.1007/3-540-36078-6_20},
    url = {https://doi.org/10.1007%2F3-540-36078-6_20},
    year = {2002},
    publisher = {Springer Berlin Heidelberg},
    pages = {292--310},
    author = {A. K. McIver and C. C. Morgan},
    title = {Games, Probability, and the Quantitative {$\mu$}-Calculus {qM}{$\mu$}},
    booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning}
}

@incollection{McIver_2002, doi = {10.1007/3-540-36078-6_20}, url = {https://doi.org/10.1007%2F3-540-36078-6_20}, year = {2002}, publisher = {Springer Berlin Heidelberg}, pages = {292--310}, author = {A. K. McIver and C. C. Morgan}, title = {Games, Probability, and the Quantitative {$\mu$}-Calculus {qM}{$\mu$}}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning} }