Mehran Hosseini, Joël Ouaknine, James Worrell 0001. Termination of Linear Loops over the Integers. In Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi, editors, 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece. Volume 132 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]
@inproceedings{HosseiniO019,
title = {Termination of Linear Loops over the Integers},
author = {Mehran Hosseini and Joël Ouaknine and James Worrell 0001},
year = {2019},
doi = {10.4230/LIPIcs.ICALP.2019.118},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2019.118},
researchr = {https://researchr.org/publication/HosseiniO019},
cites = {0},
citedby = {0},
booktitle = {46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece},
editor = {Christel Baier and Ioannis Chatzigiannakis and Paola Flocchini and Stefano Leonardi},
volume = {132},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-109-2},
}