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, 101-116. (kein Verlag angegeben). doi:10.1007/978-3-319-66583-2\_7 Research article in edited proceedings (conference) \| Peer reviewed \| Published
Implementing the WiPo Architecture Stahl F, Godde A, Hagedorn B, Köpcke B, Rehberger M, Vossen G (2014) Münster: / ERCIS - European Research Center for Information Systems. Working paper \| Published