Model Checking of Probabilistic and Nondeterministic Systems (1995)

by A Bianco, L de Alfaro
Venue:Proc. 15th Conf. Foundations of Software Technology and Theoretical Computer Science