Automatic Verification of Probabilistic Concurrent Finite-State Programs (1985)

by M Vardi
Venue:Proc. 26th Symp. on Foundations of Computer Science