RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

An upper bound for transforming self-verifying automata into deterministic ones

Ira Assent and Sebastian Seibert

RAIRO-Theor. Inf. Appl., 41 3 (2007) 261-265

Published online: 25 September 2007

DOI: 10.1051/ita:2007017

Ira Assent

Sebastian Seibert

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)