Alternative Semantics for Temporal Logics, Theor (1983)

by E A Emerson
Venue:Comp. Sci