Selected Scientific Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
2005
Bagnara R, Hill PM, Ricci E, Zaffanella E.  2005.  Precise Widening Operators for Convex Polyhedra. Science of Computer Programming. 58(1-2):28–56. Abstract  Download: BagnaraHRZ05SCP.pdf (273.43 KB)