Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations.

Sven Verdoolaege, Albert Cohen, Anna Beletska

Browse the full SAS paper archive.