1 results
An upper bound for transforming self-verifying automata into deterministic ones
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 41 / Issue 3 / July 2007
- Published online by Cambridge University Press:
- 25 September 2007, pp. 261-265
- Print publication:
- July 2007
-
- Article
- Export citation