Büro: Raum 01.05.041 Telefon: +49-89-289 18688 Fax: +49-89-289 18657 Email: gross@informatik.tu-muenchen.de Post: Technische Universität München Institut für Informatik Boltzmannstr. 3 D-85748 München