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

od CIAA 2007, Holub, Jan., Ždárek, Jan.
Izdano 2007.