Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes
Hüls J, Remke A
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Book title: Formal Techniques for Distributed Objects, Components, and Systems - 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings
Page range: 148-166
Status: Published
Release year: 2019
Language in which the publication is written: English
Conference: Formal Techniques for Distributed Objects, Components, and Systems, Lyngby, Denmark
Link to the full text: https://doi.org/10.1007/978-3-030-21759-4\_9
Authors from the University of Münster
| Hüls, Jannik | |
| Remke, Anne |