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
Sprache: EN
Jahr: 2007
Seiten: 261-265
DOI:10.1051/ita:2007017
URL:RAIRO: ITA
issue
Typ: Zeitschriftenartikel
Forschungsgebiet: