Yang Gao Dipl.-Ing.

music travel

Department für Informatik

Carl von Ossietzky Universität Oldenburg
Postfach 2503
26111 Oldenburg

Raum: D103, OFFIS (» Adresse und Lageplan) Sprechzeiten: Tel.: 004915254194803 Fax: (0441) 798-4199

Aktuelle Lehrveranstaltungen

Wintersemester 2016/2017


Publikationen

two papers about model checking