"We describe a taxonomy of red-automata based on error localization" . . . "RIV/00216208:11320/12:10131372!RIV13-GA0-11320___" . "173319" . "1"^^ . "P(GAP103/10/0783), P(GAP202/10/1333)" . "2"^^ . "Proch\u00E1zka, Martin" . "RIV/00216208:11320/12:10131372" . . . . "15"^^ . "Pl\u00E1tek, Martin" . "11320" . . . . "\u00D6sterreichische Computer Gesellschaft" . . "error localization; Taxonomy of red-automata"@en . "Fribourg, Switzerland" . "Taxonomy of red-automata motivated by error localization"@en . "978-3-85403-290-8" . . "We describe a taxonomy of red-automata based on error localization"@en . . "Proceedings of the NCMA 2012 4th International Workshop on Non-Classical Models of Automata and Applications" . "Taxonomy of red-automata motivated by error localization"@en . "Taxonomy of red-automata motivated by error localization" . . . . "Taxonomy of red-automata motivated by error localization" . "2012-08-23+02:00"^^ . . "Wien, Austria" . . "[422740497E79]" . .