![]() | ![]() |
2009 | ||
---|---|---|
6 | EE | Cong Tian, Zhenhua Duan: Complexity of propositional projection temporal logic with star. Mathematical Structures in Computer Science 19(1): 73-100 (2009) |
2008 | ||
5 | EE | Zhenhua Duan, Cong Tian: A Unified Model Checking Approach with Projection Temporal Logic. ICFEM 2008: 167-186 |
4 | EE | Cong Tian, Zhenhua Duan: Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions. TAMC 2008: 47-58 |
3 | EE | Zhenhua Duan, Cong Tian, Li Zhang: A decision procedure for propositional projection temporal logic with infinite models. Acta Inf. 45(1): 43-78 (2008) |
2007 | ||
2 | EE | Cong Tian, Zhenhua Duan: Model Checking Propositional Projection Temporal Logic Based on SPIN. ICFEM 2007: 246-265 |
1 | EE | Zhenhua Duan, Cong Tian: Decidability of Propositional Projection Temporal Logic with Infinite Models. TAMC 2007: 521-532 |
1 | Zhenhua Duan | [1] [2] [3] [4] [5] [6] |
2 | Li Zhang | [3] |