G.: On Statistical Model Checking of Stochastic Systems (2005)

by K Sen, M Viswanathan, Agha
Venue:CAV 2005. LNCS