Zhihong Tao

Publication Activity (10 Years)

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

Publications

Jiangquan Hu, Zhihong Tao, Jing Chen, Zongmiao Kou, Lun Wu
An evaluating indicator for urban sprawl simulation and prediction. Geoinformatics (2010)
Zhenyu Chen, Zhihong Tao, Baowen Xu, Lifu Wang
Implication-Based Approximating Bounded Model Checking. FSEN (2007)
Conghua Zhou, Zhenyu Chen, Zhihong Tao
QBF-Based Symbolic Model Checking for Knowledge and Time. TAMC (2007)