Für die Person sind keine aktuellen Zugehörigkeiten bekannt. Die Person ist nicht mehr an der Universität aktiv.

Model Checking the {STL} Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra Godde A, Remke A (2017) In: (Hrsg.), Computer Performance Engineering - 14th European Workshop, {EPEW} 2017, Berlin, Germany, September 7-8, 2017, Proceedings. (kein Verlag angegeben). Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Implementing the WiPo Architecture Stahl F, Godde A, Hagedorn B, Köpcke B, Rehberger M, Vossen G (2014) Münster: Selbstverlag / Eigenverlag. Art der Publikation: Arbeitspapier / Working Paper