TY  - RPRT
TI  - Characterization of Termination for Linear Loop Programs
AU  - Rachid Rebiha
AU  - Arnaldo Vieira Moura
AU  - Nadir Matringe
PY  - 2014
UR  - https://arxiv.org/abs/1409.3184
ID  - 1409.3184
ER  -