Verification of probabilistic concurrent finite-state programs (1985)

by M Vardi
Venue:In Proc. of FOCS ‘85