S | |
---|---|
[Saf92] | Shmuel Safra. Exponential Determinization for ω-Automata with Strong-Fairness Acceptance Condition. In STOC'92, pages 272-282. ACM Press, 1992. |
Search
Displayed 1 resultList of authors
- 1
S | |
---|---|
[Saf92] | Shmuel Safra. Exponential Determinization for ω-Automata with Strong-Fairness Acceptance Condition. In STOC'92, pages 272-282. ACM Press, 1992. |