Abstraction Refinement for Large Scale Model Checking
Book
Overview
abstract
-
This book summarizes research on abstraction techniques for model checking large digital system.
publication date
Full Author List
-
Wang C; Hachtel GD; Somenzi F
Other Profiles
International Standard Book Number (ISBN) 13