GI

Workshop „Automaten und Logik“ und Theorietag „Automaten und Formale Sprachen“

25.-27. September 2013, Ilmenau