| 1997 |
|---|
| E. Allen Emerson. Model Checking and the Mu-calculus. Proceedings of the DIMACS Symposium on Descriptive Complexity and Finite Model, N. Immerman and P. Kolaitis, eds., American Mathematical Society Press, Pages 185-214. ( postscript) |
| 1996 |
| E. Allen Emerson. Methods for Mu-calculus Model Checking: A Tutorial (Abstract). CAV 1995: Pages 141 |
| E. Allen Emerson. Efficient Automation of Temporal Reasoning. CONCUR 1995: Pages 393-394 |
| E. Allen Emerson.
Automated Temporal Reasoning about Reactive Systems.
Logics for Concurrency: Structure versus Automata,
F. Moller and G. Birtwistle (eds.), Springer LNCS no. 1043, Pages 111-120. ( postscript) |
| 1990 |
| E. Allen Emerson. Temporal and Modal Logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics 1990, J. van Leeuwen, ed., North-Holland Pub. Co./MIT Press, Pages 995-1072. ( postscript) |
| E. Allen Emerson. The Role of Buchi's Automata in Computing Science. The Collected Works of J. Richard Buchi, D. Siefkes and S. MacLane, editors, Springer-Verlag, Pages 18-22. ( postscript) |