On model checking for the μ-calculus and its fragments
- E.Allen Emerson
- Charanjit S. Jutla
- et al.
- 2001
- Theoretical Computer Science
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
2 results for A. Prasad Sistla
The complementation problem for Büchi automata with applications to temporal logic
- A. Prasad Sistla
- Moshe Y. Vardi
- et al.
- 1987
- Theoretical Computer Science