Alternating Interval Based Temporal Logics.

Cong Tian, Zhenhua Duan

Browse the full ICFEM paper archive.