Search the dblp DataBase

Publications of Author

1. Cong Tian, Zhenhua Duan
   Model Checking Propositional Projection Temporal Logic Based on SPIN. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2007, pp:246-265 [Conf]
   
2. Zhenhua Duan, Cong Tian
   Decidability of Propositional Projection Temporal Logic with Infinite Models. [Citation Graph (0, 0)][DBLP]
   TAMC, 2007, pp:521-532 [Conf]
   
3. 
   A Unified Model Checking Approach with Projection Temporal Logic. [Citation Graph (, )][DBLP]
   
   
4. 
   Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions. [Citation Graph (, )][DBLP]
   
   
5. 
   A decision procedure for propositional projection temporal logic with infinite models. [Citation Graph (, )][DBLP]
   
   
6. 
   Making Abstraction Refinement Efficient in Model Checking [Citation Graph (, )][DBLP]