David E. Muller, Ahmed Saoudi, Paul E. Schupp
Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time
LICS, 1988.
@inproceedings{LICS-1988-MullerSS,
author = "David E. Muller and Ahmed Saoudi and Paul E. Schupp",
booktitle = "{Proceedings of the Third Annual Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.1988.5139",
isbn = "0-8186-0853-6",
pages = "422--427",
publisher = "{IEEE Computer Society}",
title = "{Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time}",
year = 1988,
}