Universität Karlsruhe (TH)
Logic and Formal Methods Group
Research University • founded 1825
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
-->