TY  - RPRT
TI  - Termination of Linear Loops over the Integers
AU  - Mehran Hosseini
AU  - Joël Ouaknine
AU  - James Worrell
PY  - 2021
DO  - 10.4230/lipics.icalp.2019.118
UR  - https://arxiv.org/abs/1902.07465
ID  - 1902.07465
ER  -