Termination of Real Linear Loops.

Eike Neumann, Margret Tembo

Browse the full CiE paper archive.