Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings Holzer Markus Heftet / 2014 / Engelsk
Descriptional Complexity of Formal Systems 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings Holzer Markus Heftet / 2011 / Engelsk
