Login / Signup

On the Limits of Efficient Temporal Decidability (Extended Abstract)

E. Allen EmersonMichael EvangelistJai Srinivasan
Published in: LICS (1990)
Keyphrases