Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library / Bagnara, Roberto; Ricci, E.; Zaffanella, Enea; Hill, P. M.. - 2477, Lecture Notes in Computer Science, Springer-Verlag, Berlin:(2002), pp. 213-229. (Intervento presentato al convegno 9th International Symposium on Static Analysis tenutosi a Madrid, Spain nel September 17-20, 2002).
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library
BAGNARA, Roberto;ZAFFANELLA, Enea;
2002-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.