Implementation and application of automata : 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers - Jan Žďárek , Jan; Holub, Jan (Lecture Notes in Computer Science,, 2007)