| Anschrift: |
Markus Lohrey Institut für Formale Methoden der Informatik (FMI) Universität Stuttgart Universitätsstr. 38 D-70569 Stuttgart |
| Email: | lohrey@informatik.uni-stuttgart.de |
| Zimmer: | 1.156 | Telefon: | +49-711-7816-408 |
| Fax: | +49-711-7816-310 |