Generating polynomial invariants for hybrid systems (2005)

Cached

Download Links

by Enric Rodríguez-carbonell , Ashish Tiwari
Venue:In HSCC
Citations:10 - 1 self