Browsing by Author Tao, Zhihong
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) |
| 2010 | An Evaluating Indicator for Urban Sprawl Simulation and Prediction | Hu, Jiangquan; Tao, Zhihong; Chen, Jing; Kou, Zongmiao; Wu, Lun |
| 2007 | Implication-based approximating bounded model checking | Chen, Zhenyu; Tao, Zhihong; Xu, Baowen; Wang, Lifu |
| 2007 | QBF-based symbolic model checking for knowledge and time | Zhou, Conghua; Chen, Zhenyu; Tao, Zhihong |
