Adaptive model checking. (2002)

by A Groce, D Peled, M Yannakakis
Venue:Proc. TACAS ’02, 8th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems. Volume 2280 of Lecture Notes in Computer Science.,