Publications

2 results for A. Prasad Sistla

On model checking for the μ-calculus and its fragments
- - E.Allen Emerson
  - Charanjit S. Jutla
  - et al.
- 2001
- Theoretical Computer Science
Paper
The complementation problem for Büchi automata with applications to temporal logic
- - A. Prasad Sistla
  - Moshe Y. Vardi
  - et al.
- 1987
- Theoretical Computer Science
Paper