Constructing invariants for hybrid systems
Journal Article
Overview
publication date
- February 1, 2008
Full Author List
- Sankaranarayanan S; Sipma HB; Manna Z
published in
- Formal Methods in System Design Journal
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 25
end page
- 55
volume
- 32
issue
- 1