A Satisfiability-Based Approach to Abstraction Refinement in Model Checking1 1This work was supported in part by SRC contract 2001-TJ-920 and NSF grant CCR-99-71195.
Journal Article
Overview
publication date
- January 1, 2003
Full Author List
- Li B; Wang C; Somenzi F
published in
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 608
end page
- 622
volume
- 89
issue
- 4