Kontaktadresse

Prof. Dr. Bernd Krieg-Brückner
Bremer Institut für Sichere Systeme
TZI, FB3 Mathematik und Informatik
Universität Bremen
Postfach 330 440
D - 28334 Bremen

Tel.: (+49) 421-218-3660
fax: (+49) 421-218-3054
telex: 245 811 Uni D
bkb@Informatik.Uni-Bremen.DE