Validation with Guided Search of the State Space (1998)

by C H Yang, D L Dill
Venue:In Proc. of the Design Automation Conf