| Address: |
Markus Lohrey Institut für Formale Methoden der Informatik (FMI) Universität Stuttgart Universitätsstr. 38 D-70569 Stuttgart Germany |
| email: | lohrey@informatik.uni-stuttgart.de |
| room: | 0.042 | phone: | +49-711-7816-408 |
| fax: | +49-711-7816-310 |