1 results
Construction of a Deterministic ω-Automaton Using Derivatives
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 2 / March 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 133-158
- Print publication:
- March 1999
-
- Article
- Export citation