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

Authors: Assent I., Seibert S.
Published in: Theoretical Informatics and Applications 41(3)
Publisher: Cambridge Journals - Cambridge UK
Language: EN
Year: 2007
Pages: 261-265
DOI:10.1051/ita:2007017
Url:RAIRO: ITA
issue
Type: Journal Articles (peer reviewed)
Research topic: