Model Checking of Probabilistic and Nondeterministic Systems (1995)

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