CIAA 2012

17th International Conference on Implementation and Application of Automata