Zhenhua Duan

Zhenhua Duan

Xidian University - Xi'an / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 676271
西安电子科技大学
person_outline Zhenhua Duan's MOST POPULAR ARTICLES
1-) A decision procedure for propositional projection temporal logic with infinite modelsZ Duan, C Tian, L ZhangActa Informatica 45 (1), 43-78, 20081712008
2-) Temporal logic and temporal logic programmingZ DuanScience Press, 20051482005
3-) Framed temporal logic programmingZ Duan, X Yang, M KoutnyScience of Computer Programming 70 (1), 31-61, 20081172008
4-) An extended interval temporal logic and a framing technique for temporal logic programmingZ DuanPhD Thesis. The University of Newcastle upon Tyne, 19961211996
5-) A unified model checking approach with projection temporal logicZ Duan, C TianInternational Conference on Formal Engineering Methods, 167-186, 2008962008