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

Einrichtungen

• Lehrstuhl für Informatik 9 (Process and Data Science) [122510]
• Fachgruppe Informatik [120000]