Parallel Systems

Dipl.-Inform. Burkhard Bieber

Address: Dipl.-Inform. Burkhard Bieber
University of Oldenburg
Faculty II
Department of Computing Science
D-26111 Oldenburg
Germany
email: Burkhard.Bieber

 


top of page

Research

Zeit-Petrinetze, Hierarchische Petrinetze, Halbordnungsbasiertes Model-Checking
top of page

Teaching

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

Projects

PEP
top of page

Tools

PEP Tool