|
[CY88]
C. Courcoubetis and M. Yannakakis.
Verifying Temporal Properties of Finite State Probabilistic Programs.
In Proc. 29th Annual Symposium on Foundations of Computer Science (FOCS'88), pages 338--345, IEEE CS Press.
1988.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|