Hans-Dieter Ehrich
Hat mitgewirkt an:
-
Theoretische Informatik, 2.. Semantik und Verifikation: (Teil 1) / Autor: H.-D. Ehrich ; W. Coy
-
Zur Theorie und Anwendung endlicher Minimalüberdeckungen
-
Beiträge zur KORSO- und TROLL-light-Fallstudien
-
40 Jahre Informatik an der Technischen Universität Braunschweig : 1972 - 2012 : zum Workshop auf der GI-Jahrestagung 2012 in Braunschweig