Dipl.-Inform. Eike Möhlmann

AVACS - Automatic Verification and Analysis of Complex Systems

Carl von Ossietzky Universität Oldenburg

Raum: A4-2-218 (» Adresse und Lageplan) Sprechzeiten: nach Vereinbarung Tel.: +49 441 798 4629 Fax: +49 441 798 2756