Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings - Hospodár, Michal; Hospodár, Michal; Jirásková, Galina; Jirásková, Galina (Springer International Publishing : Imprint: Springer, 2019)