Institut für Informatik Technische Universität München Boltzmannstr. 3 85748 Garching
Telefon: +49(89)289-17840 Telefax: +49(89)289-17307
lochmann@in.tum.de
