Entwicklung korrekter Systeme

Leitung

Prof. Dr. Ernst-Rüdiger Olderog

Sekretariat

Andrea Göken

+49-(0)441-798-3121

+49-(0)441-798-2965

Andrea^j+vi.Gojgruekenbcprk@i^lv3nforl5mati1i/ykk.uni-olmfnd/denburbqhg.de^uncjl 

A3 2-208

• Graduiertenkolleg SCARE
• DFG-Projekt Petri Games