Cong Tian

	2009
7		Cong Tian, Zhenhua Duan: A note on stutter-invariant PLTL. Inf. Process. Lett. 109(13): 663-667 (2009)
6		Cong Tian, Zhenhua Duan: Complexity of propositional projection temporal logic with star. Mathematical Structures in Computer Science 19(1): 73-100 (2009)
	2008
5		Zhenhua Duan, Cong Tian: A Unified Model Checking Approach with Projection Temporal Logic. ICFEM 2008: 167-186
4		Cong Tian, Zhenhua Duan: Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions. TAMC 2008: 47-58
3		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		Cong Tian, Zhenhua Duan: Model Checking Propositional Projection Temporal Logic Based on SPIN. ICFEM 2007: 246-265
1		Zhenhua Duan, Cong Tian: Decidability of Propositional Projection Temporal Logic with Infinite Models. TAMC 2007: 521-532

Coauthor Index

1	Zhenhua Duan	[1] [2] [3] [4] [5] [6] [7]
2	Li Zhang	[3]