Model Checking the {STL} Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra
Godde A, Remke A
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Book title: Computer Performance Engineering - 14th European Workshop, {EPEW} 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Page range: 101-116
Status: Published
Release year: 2017
Language in which the publication is written: English
Conference: Workshop on Computer Performance Engineering, Berlin, Deutschland, undefined
Link to the full text: https://doi.org/10.1007/978-3-319-66583-2\_7
Authors from the University of Münster
| Godde, Adrian | Institute of Computer Science |
| Remke, Anne | Professorship for practical computer science (Prof. Remke) |