Automatic abstraction for verification of cyber-physical systems
Conference Proceeding
Overview
publication date
- April 13, 2010
has restriction
- green
Date in CU Experts
- January 25, 2022 2:28 AM
Full Author List
- Thacker RA; Jones KR; Myers CJ; Zheng H
author count
- 4
presented at event
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 12
end page
- 21