A Satisfiability-Based Approach to Abstraction Refinement in Model Checking Journal Article uri icon

Overview

publication date

  • January 1, 2003

has restriction

  • gold

Date in CU Experts

  • April 17, 2014 2:18 AM

Full Author List

  • Li B; Wang C; Somenzi F

author count

  • 3

Other Profiles

International Standard Serial Number (ISSN)

  • 1571-0661

Additional Document Info

start page

  • 608

end page

  • 622

volume

  • 89

issue

  • 4