Logic and Formal Methods Group  

Peter H. Schmitt

Prof. Dr.
Peter H. Schmitt

Forschungsgruppenleiter
Universität Karlsruhe (TH)
Institute for Theoretical Computer Science
Building 50.34
Am Fasanengarten 5
D-76131 Karlsruhe
Germany
Room: 310
Phone: +49 721 608 - 4000 / - 3919 (Sekr.)
Fax: +49 721 608 - 4211
E-Mail: pschmitt@ira.uka.de
Letzte Änderung: 2008-06-10 05:56 pm