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

Assent, Ira; Seibert, Sebastian

Cambridge, Mass : EDP Sciences (2007)
Journal Article

In: Theoretical informatics and applications = Informatique théorique et applications
Volume: 41
Issue: 3
Page(s)/Article-Nr.: 261-265

Identifier