Erratum to A framed temporal logic programming language. - Zhen-Hua Duan (J. Comput. Sci. Technol., 2004)

Symbolic Algorithmic Analysis of Rectangular Hybrid Systems. - Hai-Bin Zhang; Zhen-Hua Duan (J. Comput. Sci. Technol., 2009)