On Deciding Constant Runtime of Linear Loops.

Florian Frohn, Jrgen Giesl, Peter Giesl, Nils Lommen

Browse the full TACAS paper archive.