Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra.

Roberto Bagnara Enric Rodríguez-Carbonell Enea Zaffanella Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. 19-34 2005 conf/sas/2005 SAS http://dx.doi.org/10.1007/11547662_4 db/conf/sas/sas2005.html#BagnaraRZ05