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

2002
9783540442356
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).
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11381/2297915
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 97
  • ???jsp.display-item.citation.isi??? 79
social impact