S | |
---|---|
[SVW87] | A. Prasad Sistla,
Moshe Y. Vardi, and
Pierre Wolper.
The Complementation Problem for Büchi Automata
with Applications to Temporal Logics.
Theoretical Computer Science 49:217-237. Elsevier, 1987.
|
Search
Displayed 1 resultList of authors
- 1
- 1
- 1