Symbolic model checking of Analog/Mixed-Signal circuits Conference Proceeding uri icon

Overview

publication date

  • January 23, 2007

Date in CU Experts

  • October 28, 2020 2:57 AM

Full Author List

  • Walter D; Little S; Seegmiller N; Myers CJ; Yoneda T

author count

  • 5

citation count

  • 8

Other Profiles

International Standard Serial Number (ISSN)

  • 2153-6961

International Standard Book Number (ISBN) 13

  • 978-1-4244-0629-6

Additional Document Info

start page

  • 316

end page

  • +