Universität Münster
CRIS@UM
DE | EN

Model Checking the {STL} Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra

Godde A, Remke A

Forschungsartikel in Sammelband (Konferenz) | Peer reviewed

Details zur Publikation

Buchtitel: Computer Performance Engineering - 14th European Workshop, {EPEW} 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Seitenbereich: 101-116
Status: Veröffentlicht
Veröffentlichungsjahr: 2017
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: Workshop on Computer Performance Engineering, Berlin, Deutschland, undefined
DOI: 10.1007/978-3-319-66583-2\_7
Link zum Volltext: https://doi.org/10.1007/978-3-319-66583-2\_7

Autor*innen der Universität Münster

Godde, Adrian
Institut für Informatik
Remke, Anne
Professur für Praktische Informatik (Prof. Remke)