Email:  engels@in.tum.de

snail:  Thomas Engels
        Fakultät für Informatik
        Technische Universität München
        Boltzmannsraße 3
        Raum 00.07.054
        D-85748 Garching / Germany


  Tel:  +49 (0)89 289-18252
  Fax:  +49 (0)89 289-18507