Implementation and application of automata 12th international conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007 : revised selected papers /

gan CIAA 2007, Holub, Jan., Ždárek, Jan.
Cyhoeddwyd 2007.