Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Alternative Methods in Proving Loop TerminationTennyson X. Chen, Martin D. Meyer. sede 2008: 194-197 Termination of Loop Programs with Polynomial GuardsBin Wu, Liyong Shen, Zhongqin Bi, Zhenbing Zeng. iccsa 2010: 482-496 [doi]
The following publications are possibly variants of this publication: