1
Architektur von Rechensystemen: GI/ITG Fachtagung 0012 : Kiel, 23.03.92-25.03.92.
Book
2
VDM and Z. 1990, 3 : formal methods in software development : Vdm, proceedings : international symposium of vdm Europe, proceedings : Kiel, 17.04.90-21.04.90.
Book