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

Assent, Ira; Seibert, Sebastian

Cambridge, Mass / EDP Sciences (2007) [Fachzeitschriftenartikel]

Theoretical informatics and applications = Informatique théorique et applications
Band: 41
Ausgabe: 3
Seite(n): 261-265

Identifikationsnummern