Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra / Bagnara, Roberto; RODRIGUEZ CARBONELL, E.; Zaffanella, Enea. - Report de recerca LSI-05-14-R, Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Barcelona, Spain:(2005).
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
BAGNARA, Roberto;ZAFFANELLA, Enea
2005-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.