Martin Procházka, Martin Plátek. Taxonomy of Red-Automata Motivated by Error Localization. In Rudolf Freund, Markus Holzer, Bianca Truthe, Ulrich Ultes-Nitsche, editors, Fourth Workshop on Non-Classical Models for Automata and Applications - NCMA 2012, Fribourg, Switzerland, August 23-24, 2012. Proceedings. Volume 290 of books@ocg.at, pages 181-195, Österreichische Computer Gesellschaft, 2012.
Abstract is missing.