Implementation and application of automata 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings - Holzer, Markus (Springer, 2014)
Keywords: Theoretische Informatik; Automat -- Automatentheorie; Konferenzschrift -- 2014 -- Gießen