Please replace "(AT)" with "@" in the e-mail address.

Karsten Wolf (former Schmidt)
Universitaet Rostock, Institut fuer Informatik
Schwaansche Str. 2
18051
Rostock
Germany

Phone: +49-381-4987670
Fax: +49-381-4987642
E-mail: karsten.wolf (AT) uni-rostock.de
Web: http://wwwteo.informatik.uni-rostock.de/ls_tpp/staff/kw.htm