Zhi-Hong Tao

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Zhi-Hong Tao, Conghua Zhou, Zhong Chen, Lifu Wang
Bounded Model Checking of CTL. J. Comput. Sci. Technol. 22 (1) (2007)
Zhi-Hong Tao, Hans Kleine Büning, Lifu Wang
Direct Model Checking Matrix Algorithm. J. Comput. Sci. Technol. 21 (6) (2006)
Daoyun Xu, Zhi-Hong Tao
Complexities of Homomorphism and Isomorphism for Definite Logic Programs. J. Comput. Sci. Technol. 20 (6) (2005)