DMCA

Model Checking of Probabilistic and Nondeterministic Systems (1995)

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