An Automata-Theoretic Approach to Linear Temporal Logic (1995)

by M Y Vardi
Venue:In Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop