Contact

Reactive Systems Group
Fachrichtung Informatik
Universität des Saarlandes
Campus, Gebäude E1.1, 1. OG
66123 Saarbrücken

Phone: +49 681 302 5650
Fax: +49 681 302 5669
eMail: finkbeiner at cs.uni-saarland.de

How to reach us