Li Xuandong, Zhao Jianhua, Pei Yu, Li Yong, Zheng Tao, and Zheng Guoliang. Positive Loop-Closed Automata: A Decidable Class of Hybrid Systems.
In Journal of Logic and Algebraic Programming,
Vol.52-53(C), Elsevier Science, 2002, pp.79-108. download
Chinese Journal
Li Xuandong, Tan Wenkai, and Zheng Guoliang. Checking MSC Specifications for Timing Inconsistency.
In Journal of Computer Science and Technology,
Vol.17, No.1, Allerton Press, 2002, pp.47-55. download
Li Yong and Dang Van Hung. Checking Temporal Duration Properties of Timed Automata.
In Journal of Computer Science and Technology,
Vol.17, No.6, Allerton Press, 2002, pp.689-698. download
International Conference & Workshop
Zhao Jianhua, Xu He, Li Xuandong, Zheng Tao, and Zheng Guoliang. Partial Order Path Technique for Checking Parallel Timed Automata.
In Formal Techniques in Real-Time and Fault-Tolerant Systems,
Lecture Notes in Computer Science 2469, Springer, 2002, pp.417-432. download
