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

by M Vardi
Venue:Proc. FOCS'85