Model Checking the {STL} Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra
Godde A, Remke A
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails 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
Link zum Volltext: https://doi.org/10.1007/978-3-319-66583-2\_7
Autor*innen der Universität Münster
| Godde, Adrian | |
| Remke, Anne |