Shangmin Luan, Guozhong Dai. An Algorithm for Diagnosing System with Structured Description. In Vipin Kumar, Marina L. Gavrilova, Chih Jeng Kenneth Tan, Pierre L Ecuyer, editors, Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part II. Volume 2668 of Lecture Notes in Computer Science, pages 695-704, Springer, 2003. [doi]
Abstract is missing.