Dang Quyet Thang, Nguyen Dinh Han, Phan Trung Huy. Algorithms Based on Finite Automata for Testing of Z-codes. In James J. Park, Albert Y. Zomaya, Sang-Soo Yeo, Sartaj Sahni, editors, Network and Parallel Computing, 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings. Volume 7513 of Lecture Notes in Computer Science, pages 625-635, Springer, 2012. [doi]
Abstract is missing.