E.: Generation of basic semialgebraic invariants using convex polyhedra (2005)

by R Bagnara, E Rodríguez-Carbonell, Zaffanella
Venue:In: SAS