Adaptive model checking (2002)

by A Groce, D Peled, M Yannakakis
Venue:In Proc. of the Eighth Int. Conf. on Tools and Alg. for the Construction and Analysis of Sys