Implementation and application of automata : 20th international conference, CIAA 2015 : Umeå, Sweden, August 18-21, 2015 : proceedings : Aug 2015, Umeå, Sweden.
This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in ...