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 uri icon

Overview

publication date

  • January 1, 2003

Full Author List

  • Li B; Wang C; Somenzi F

Other Profiles

Additional Document Info

start page

  • 608

end page

  • 622

volume

  • 89

issue

  • 4