Amir Pnueli, Lenore D. Zuck. Probabilistic Verification by Tableaux. In Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA. pages 322-331, IEEE Computer Society, 1986.
@inproceedings{PnueliZ86:0, title = {Probabilistic Verification by Tableaux}, author = {Amir Pnueli and Lenore D. Zuck}, year = {1986}, researchr = {https://researchr.org/publication/PnueliZ86%3A0}, cites = {0}, citedby = {0}, pages = {322-331}, booktitle = {Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA}, publisher = {IEEE Computer Society}, }