Model Checking of Probabilistic and Nondeterministic Systems (1995)

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