Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions.

Cong Tian, Zhenhua Duan

Browse the full TAMC paper archive.