Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings - Câmpeanu, Cezar; Câmpeanu, Cezar (Springer International Publishing : Imprint: Springer, 2018)