DMCA

Monte Carlo Model Checking (2005)

by Radu Grosu , Scott A. Smolka
Venue:In Proc. of Tools and Algorithms for Construction and Analysis of Systems (TACAS 2005), volume 3440 of LNCS
Citations:58 - 4 self