Model checking of probabilistic and nondeterministic systems (1995)

by A Bianco, L de Alfaro
Venue:In FSTTCS, volume 1026 of LNCS