You are about to access our book library "Implementation and Application of Automata: 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings (Lecture Notes in Computer Science Book 9223) full version" .