GDPA  
Prof. Dr. Bernd Krieg-Brückner  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Name

Prof. Dr. Bernd Krieg-Brückner

E-Mail

bkb@informatik.uni-bremen.de

Homepage

http://www.informatik. uni-bremen.de/~bkb/

Institution

Universität Bremen

Address

Universität Bremen
Fachbereich 3 MZH
Postfach 330440
D-28334 Bremen
Germany

For Courier mail only:
Universität Bremen
Fachbereich 3 MZH
Bibliothekstr 1
D-28359 Bremen
Germany

Publications

/Krieg- Brückner, 1996/ Universal Formal Methods Workbench

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster