Model checking of probabilistic and nondeterministic systems (1995)

by A Bianco, L de Alfaro
Venue:In Proc. of the 15th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1995), volume 1026 of LNCS