Implementation and application of automata 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings - Holzer, Markus (Lecture notes in computer science, 2014)