Zhen-Hua Duan

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

Publications

Hai-Bin Zhang, Zhen-Hua Duan
Symbolic Algorithmic Analysis of Rectangular Hybrid Systems. J. Comput. Sci. Technol. 24 (3) (2009)
Zhen-Hua Duan
Erratum to A framed temporal logic programming language. J. Comput. Sci. Technol. 19 (6) (2004)