@inproceedings{Vardi_1985,
    doi = {10.1109/sfcs.1985.12},
    url = {https://doi.org/10.1109%2Fsfcs.1985.12},
    year = {1985},
    publisher = {{IEEE}},
    author = {Moshe Y. Vardi},
    title = {Automatic verification of probabilistic concurrent finite state programs},
    booktitle = {26th Annual Symposium on Foundations of Computer Science (sfcs 1985)}
}

@inproceedings{Vardi_1985, doi = {10.1109/sfcs.1985.12}, url = {https://doi.org/10.1109%2Fsfcs.1985.12}, year = {1985}, publisher = {{IEEE}}, author = {Moshe Y. Vardi}, title = {Automatic verification of probabilistic concurrent finite state programs}, booktitle = {26th Annual Symposium on Foundations of Computer Science (sfcs 1985)} }