Abstraction Refinement for Large Scale Model Checking - Wang, Chao.; Hachtel, Gary D.; Somenzi, Fabio; SpringerLink (Online service) (Boston, MA : Springer Science+Business Media, LLC, 2006)
Keywords: Engineering; Computer aided design; Systems engineering; Engineering; Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Electronic and Computer Engineering