Symbolic model checking of Analog/Mixed-Signal circuits
Conference Proceeding
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
presented at event
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
- +