Timed Relational Abstractions for Sampled Data Control Systems.
Conference Proceeding
Overview
publication date
- January 1, 2012
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Zutshi A; Sankaranarayanan S; Tiwari A
Full Editor List
- Madhusudan P; Seshia SA
author count
- 3
Other Profiles
International Standard Book Number (ISBN) 13
- 978-3-642-31423-0
Additional Document Info
start page
- 343
end page
- 361
volume
- 7358