Cong Tian

Cong Tian

Xidian University - Xi'an / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 736937
西安电子科技大学
person_outline Cong Tian'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-) A unified model checking approach with projection temporal logicZ Duan, C TianInternational Conference on Formal Engineering Methods, 167-186, 2008922008
3-) A practical decision procedure for propositional projection temporal logic with infinite modelsZ Duan, C TianTheoretical Computer Science 554, 169-190, 2014522014
4-) Expressiveness of propositional projection temporal logic with starC Tian, Z DuanTheoretical Computer Science 412 (18), 1729-1744, 2011532011
5-) Complexity of propositional projection temporal logic with starC Tian, Z DuanMathematical Structures in Computer Science 19 (1), 73-100, 2009512009