Taxonomy of Red-Automata Motivated by Error Localization

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.

Authors

Martin Procházka

This author has not been identified. Look up 'Martin Procházka' in Google

Martin Plátek

This author has not been identified. Look up 'Martin Plátek' in Google