-
RecordNumber
1690
-
Author
Wang, Chao
-
Title
Abstraction refinement for large scale model checking
-
Author Statement
Chao Wang, Gary D. Hachtel, Fabio Somenzi.
-
Publication
Springer
-
Publication Year
c2006
-
Collation
xiv, 179 p. ill.
-
Series
Series on integrated circuits and systems
-
Notes
Includes bibliographical references (p. 156-169) and index.
-
Subject
Computer systems --VerificationMathematical models , Integrated circuits --VerificationMathematical models , Electronic systems --VerificationMathematical models
-
ADDED ENTRIES
Hachtel, Gary D. , Somenzi, Fabio.
-
Main class
004.
-
Sub class
21
-
Cutter no
W246a
-
ISBN
9780387346007
-
Link To Document :
