> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: An upper bound for transforming self-verifying automata into deterministic ones Beteiligte: Assent, Ira; Seibert, Sebastian Erschienen: EDP Sciences, 2007 Erschienen in: RAIRO - Theoretical Informatics and Applications, 41 (2007) 3, Seite 261-265 Sprache: Ohne Angabe DOI: 10.1051/ita:2007017 ISSN: 0988-3754; 1290-385X Schlagwörter: Computer Science Applications ; General Mathematics ; Software Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang