On statistical model checking of stochastic systems (2005)

by Koushik Sen , Mahesh Viswanathan , Gul Agha
Venue:In Etessami, K., Rajamani, S.K., eds.: CAV. Volume 3576 of Lecture Notes in Computer Science
Citations:28 - 2 self