Generating polynomial invariants for hybrid systems (2005)

View PDF

Download Links

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