Automatic verification of probabilistic concurrent finite-state programs (1985)

by M Y Vardi
Venue:In FOCS