Old Web
English
Sign In
Acemap
>
Paper
>
Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
2006
Chao Wang
Gary D. Hachtel
Fabio Somenzi
Keywords:
Scale model
Integrated circuit
Abstraction model checking
Abstraction
Theoretical computer science
Computer science
abstraction refinement
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
15
Citations
NaN
KQI
[]