Model Checking Propositional Projection Temporal Logic Based on SPIN.

Cong Tian, Zhenhua Duan

Browse the full ICFEM paper archive.