Jan Holub, Jan Zdárek (Eds.):
Implementation and Application of Automata, 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers.
Lecture Notes in Computer Science 4783 Springer 2007, ISBN 978-3-540-76335-2
Invited Talks
Gheorghe Paun: Spiking Neural P Systems Used as Acceptors and Transducers.
1-4
Moshe Y. Vardi: Linear-Time Model Checking: Automata Theory in Practice.
5-10