Dependable Systems Group

Theorietag 2016 in Kiel

Oct 17, 2013

Our group will organise the 26th annual meeting of the special interest group "Automata and Formal Languages" of the German Informatics Society in 2016.