Termination Criteria for Bounded Model Checking: Extensions and Comparison Journal Article uri icon

Overview

publication date

  • January 11, 2006

has restriction

  • gold

Date in CU Experts

  • April 17, 2014 2:29 AM

Full Author List

  • Awedh M; Somenzi F

author count

  • 2

citation count

  • 6

Other Profiles

International Standard Serial Number (ISSN)

  • 1571-0661

Additional Document Info

start page

  • 51

end page

  • 66

volume

  • 144

issue

  • 1