Yean-Ru Chen, To-Yu Chen, Pao-Ann Hsiung, Sao-Jie Chen, Yu Hen Hu. Compositional Automata Reduction with Non-critical Path Slicing. In Hamid R. Arabnia, George A. Gravvanis, editors, Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas Nevada, USA. pages 133-138, CSREA Press, 2009.
Abstract is missing.