Yi Li, Chuancan Li, Wenyuan Wu, Yong Feng. Termination of Two Variable Homogeneous Linear Loops. In Lean Yu, Rongda Chen, Shouyang Wang, editors, Sixth International Conference on Business Intelligence and Financial Engineering, BIFE 2013, Hangzhou, China, November 14-16, 2013. pages 10-13, IEEE, 2013. [doi]
Abstract is missing.