Dipl.-Inform. Burkhard Bieber

Anschrift:	Dipl.-Inform. Burkhard Bieber Universität Oldenburg Fakultät II Department für Informatik 26111 Oldenburg
E-Mail:	Burkhard.Bieber

 

Forschung

Zeit-Petrinetze, Hierarchische Petrinetze, Halbordnungsbasiertes Model-Checking

Lehre

SoSe 98: Model-Checking Seminar
WiSe 98/99: (hoffentlich) Projektgruppe TEMPO

Projekte

PEP

Werkzeuge

PEP Tool