Constructing invariants for hybrid systems
Conference Proceeding
Overview
publication date
- March 25, 2004
Full Author List
- Sankaranarayanan S; Sipma HB; Manna Z
published in
Additional Document Info
start page
- 539
end page
- 554
volume
- 2993