A.: Generating polynomial invariants for hybrid systems (2005)

by E Rodriguez-Carbonell, Tiwari
Venue:In: HSCC