On model checking for the μ-calculus and its fragments
- E.Allen Emerson
- Charanjit S. Jutla
- et al.
- 2001
- Theoretical Computer Science
Publications
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