Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

FB Inf

Martin Kronenburg

Address:

Martin Kronenburg

AG Formale Methoden und Deduktion
Technische Universität Kaiserslautern
Fachbereich Informatik
Postfach 3049
67653 Kaiserslautern, Germany

Fax: ++49 631 205 2156

Email: kronburg@informatik.uni-kl.de

Research Projects

Formal Specification of Reactive Systems within Project C1 of SFB 501
Distributed Theorem Proving

Publications

Teaching Related Activities

AG Formale Methoden und Deduktion

Fachbereich Informatik

Technische Universität Kaiserslautern

Letzte Änderung: Wednesday, 26-Oct-05 08:59:20 GMT
www-aven@informatik.uni-kl.de