Hans vor der Brück Bewertung von SPECIAL und seiner Tools anhand der formalen Spezifikation von KSOS und PSOS. [Citation Graph (0, 0)][DBLP] Software Engineering, 1980, pp:284-285 [Conf]
Hans vor der Brück Einfluß der Sicherheitskern-Architektur auf die Strukturierung von Betriebssystemen. [Citation Graph (0, 0)][DBLP] Elektronische Rechenanlagen, 1980, v:22, n:4, pp:173-179 [Journal]