2 works on record
Logic synthesis and verification algorithms
1996
Abstraction Refinement for Large Scale Model Checking