Jan Holub Jan Zdárek Implementation and Application of Automata, 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers CIAA Lecture Notes in Computer Science 4783 Springer 2007 978-3-540-76335-2 db/conf/wia/ciaa2007.html