Generating polynomial invariants for hybrid systems (2005)

Cached

Download Links

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