Bin Wu, Zhongqin Bi. Termination of Nested Loop. In 2008 International Symposium on Computer Science and Computational Technology, ISCSCT 2008, 20-22 December 2008, Shanghai, China, 2 Volumes. pages 536-539, IEEE Computer Society, 2008. [doi]
@inproceedings{WuB08-0, title = {Termination of Nested Loop}, author = {Bin Wu and Zhongqin Bi}, year = {2008}, doi = {10.1109/ISCSCT.2008.58}, url = {http://doi.ieeecomputersociety.org/10.1109/ISCSCT.2008.58}, tags = {termination}, researchr = {https://researchr.org/publication/WuB08-0}, cites = {0}, citedby = {0}, pages = {536-539}, booktitle = {2008 International Symposium on Computer Science and Computational Technology, ISCSCT 2008, 20-22 December 2008, Shanghai, China, 2 Volumes}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-3498-5}, }