Symbolic Model Checking for Propositional Projection Temporal Logic.

Tao Pang, Zhenhua Duan, Cong Tian

Browse the full TASE paper archive.