Automatic Invariant Generation For Hybrid Systems Using Ideal Fixed Points
Conference Proceeding
Overview
publication date
- April 12, 2010
Date in CU Experts
- May 28, 2014 6:48 AM
Full Author List
- Sankaranarayanan S
author count
- 1
citation count
- 41
presented at event
Other Profiles
International Standard Book Number (ISBN) 13
- 978-1-60558-955-8
Additional Document Info
start page
- 221
end page
- 230