Termination Analysis of Integer Linear Loops.

Aaron R. Bradley, Zohar Manna, Henny B. Sipma

Browse the full CONCUR paper archive.