Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li. Termination Analysis of Linear Loops. Int. J. Found. Comput. Sci., 21(6):1005-1019, 2010. [doi]
@article{XuCZL10-1, title = {Termination Analysis of Linear Loops}, author = {Ming Xu and Liangyu Chen and Zhenbing Zeng and Zhi-Bin Li}, year = {2010}, doi = {10.1142/S0129054110007696}, url = {http://dx.doi.org/10.1142/S0129054110007696}, tags = {analysis, termination}, researchr = {https://researchr.org/publication/XuCZL10-1}, cites = {0}, citedby = {0}, journal = {Int. J. Found. Comput. Sci.}, volume = {21}, number = {6}, pages = {1005-1019}, }