Modular verification of timed circuits using automatic abstraction Journal Article uri icon

Overview

publication date

  • September 1, 2003

has restriction

  • closed

Date in CU Experts

  • October 28, 2020 2:58 AM

Full Author List

  • Zheng H; Mercer E; Myers C

author count

  • 3

citation count

  • 10

Other Profiles

International Standard Serial Number (ISSN)

  • 0278-0070

Electronic International Standard Serial Number (EISSN)

  • 1937-4151

Additional Document Info

start page

  • 1138

end page

  • 1153

volume

  • 22

issue

  • 9