Flow*: An Analyzer for Non-linear Hybrid Systems.
Conference Proceeding
Overview
publication date
- January 1, 2013
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Chen X; Ábrahám E; Sankaranarayanan S
Full Editor List
- Sharygina N; Veith H
author count
- 3
Other Profiles
International Standard Book Number (ISBN) 13
- 978-3-642-39798-1
Additional Document Info
start page
- 258
end page
- 263
volume
- 8044