A Unified Model Checking Approach with Projection Temporal Logic.

Zhenhua Duan, Cong Tian

Browse the full ICFEM paper archive.