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

Assent, Ira; Seibert, Sebastian

Cambridge, Mass : EDP Sciences (2007)
Fachzeitschriftenartikel

In: Theoretical informatics and applications = Informatique théorique et applications
Band: 41
Heft: 3
Seite(n)/Artikel-Nr.: 261-265

Identifikationsnummern