No current affiliations available for this person. The person is no longer active at the university.

Model Checking the {STL} Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra Godde A, Remke A (2017) In: (eds.), Computer Performance Engineering - 14th European Workshop, {EPEW} 2017, Berlin, Germany, September 7-8, 2017, Proceedings. (no publisher available). Type of Publication: Research article in edited proceedings (conference)
Implementing the WiPo Architecture Stahl F, Godde A, Hagedorn B, Köpcke B, Rehberger M, Vossen G (2014) Münster: Selbstverlag / Eigenverlag. Type of Publication: Working paper