Model Checking of Probabilistic and Nondeterministic Systems (1995)

by Andrea Bianco , Luca De Alfaro
Citations:287 - 13 self