Zhiwei Zhang, Jin-Zhao Wu, Hao Yang. Approximation to Linear Algebraic Transition System. In De-Shuang Huang, Phalguni Gupta, Xiang Zhang, Prashan Premaratne, editors, Emerging Intelligent Computing Technology and Applications - 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings. Volume 304 of Communications in Computer and Information Science, pages 336-343, Springer, 2012. [doi]