Iterating Octagons.

Marius Bozga, Codruta Grlea, Radu Iosif

Browse the full TACAS paper archive.