Bounded Model Checking for Propositional Projection Temporal Logic.

Zhenhua Duan, Cong Tian, Mengfei Yang, Jia He

Browse the full COCOON paper archive.