Technische Universität München Institut für Informatik D-85747 Garching
Email: stumpfm@informatik.tu-muenchen.de
Tel.: +49 89 289 18676 Fax: +49 89 289 18657 Büro: Boltzmannstr. 3, Raum 01.05.061