@inproceedings{Yannakakis_2005,
    doi = {10.1109/qest.2005.8},
    url = {https://doi.org/10.1109%2Fqest.2005.8},
    year = {2005},
    publisher = {{IEEE}},
    author = {M. Yannakakis and K. Etessami},
    title = {Checking {LTL} properties of recursive Markov chains},
    booktitle = {Second International Conference on the Quantitative Evaluation of Systems ({QEST}{\textquotesingle}05)}
}

@inproceedings{Yannakakis_2005, doi = {10.1109/qest.2005.8}, url = {https://doi.org/10.1109%2Fqest.2005.8}, year = {2005}, publisher = {{IEEE}}, author = {M. Yannakakis and K. Etessami}, title = {Checking {LTL} properties of recursive Markov chains}, booktitle = {Second International Conference on the Quantitative Evaluation of Systems ({QEST}{\textquotesingle}05)} }