State Space Reductions for Scalable Verification of Asynchronous Designs
Conference Proceeding
Overview
publication date
- June 10, 2010
Date in CU Experts
- October 28, 2020 2:58 AM
Full Author List
- Yao H; Zheng H; Myers CJ
author count
- 3
citation count
- 5
published in
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 1552-6674
Additional Document Info
start page
- 17
end page
- 24