Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker. Abstracting an Operational Semantics to Finite Automata. In Vitaliy Yakovyna, Heinrich C. Mayr, Mykola S. Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis, editors, Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers. Volume 594 of Communications in Computer and Information Science, pages 109-123, Springer, 2015. [doi]
Abstract is missing.