Simple and Precise Widenings for H-Polyhedra

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17164-2_11 ◽

2010 ◽

pp. 139-155 ◽

Author(s):

Axel Simon ◽

Liqian Chen

Download Full-text