Kontakt
Markus Brinkmann
Technische Universität Dortmund
Lehstuhl Informatik 1 - Logik in der Informatik
Otto-Hahn-Str. 16, Raum 208
44227 Dortmund
| Telefon: | 0231 - 755 - 6512 |
| Email: | markus.brinkmann@uni-dortmund.de |
Homepage: http://ls1-www.cs.uni-dortmund.de/~brinkmann/