Dr. Thomas Hartwig Scheidsteger

Satisfiability, Hybride Systeme

Department für Informatik

Carl von Ossietzky Universität Oldenburg
Postfach 2503
26111 Oldenburg

Homepage: hs.informatik.uni-oldenburg.de/63684.html Raum: OFFIS D 109 (» Adresse und Lageplan) Tel.: +49-441-9722 533 Fax: +49-441-9722 502