-
RecordNumber
35668
-
Author
Wang, Chao
-
Title
Abstraction refinement for large scale model checking
-
Author Statement
Chao Wang, Gary D. Hachtel, Fabio Somenzi
-
Publication
Springer
-
Publication Year
2006
-
Collation
xiv, 179 p. : illus
-
Series
Series on integrated circuits and systems
-
Notes
0387341552 , Includes bibliographical references (p. 156-169) and index
-
Subject
Computer systems -- Verification -- Mathematical models , Integrated circuits -- Verification -- Mathematical models , Electronic systems -- Verification -- Mathematical models
-
ADDED ENTRIES
Hachtel, Gary D , Somenzi, Fabio ,
-
LC Class
QA
-
LC Number
76.76
-
LC CutterNumber
.V47W36
-
LC Date
2006
-
وارد کنندة اطلاعات
داوري
-
Link To Document :