@inproceedings{Courcoubetis_1988,
    doi = {10.1109/sfcs.1988.21950},
    url = {https://doi.org/10.1109%2Fsfcs.1988.21950},
    year = {1988},
    publisher = {{IEEE}},
    author = {C. Courcoubetis and M. Yannakakis},
    title = {Verifying temporal properties of finite-state probabilistic programs},
    booktitle = {[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science}
}

@inproceedings{Courcoubetis_1988, doi = {10.1109/sfcs.1988.21950}, url = {https://doi.org/10.1109%2Fsfcs.1988.21950}, year = {1988}, publisher = {{IEEE}}, author = {C. Courcoubetis and M. Yannakakis}, title = {Verifying temporal properties of finite-state probabilistic programs}, booktitle = {[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science} }