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

Institutions

• Chair of Computer Science 9 (Process and Data Science) [122510]
• Department of Computer Science [120000]