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

Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes

Hüls J, Remke A

Forschungsartikel in Sammelband (Konferenz) | Peer reviewed

Details zur Publikation

Buchtitel: 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
Seitenbereich: 148-166
Status: Veröffentlicht
Veröffentlichungsjahr: 2019
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: Formal Techniques for Distributed Objects, Components, and Systems, Lyngby, Denmark, undefined
DOI: 10.1007/978-3-030-21759-4\_9
Link zum Volltext: https://doi.org/10.1007/978-3-030-21759-4\_9

Autor*innen der Universität Münster

Hüls, Jannik
Professur für Praktische Informatik (Prof. Remke)
Remke, Anne
Professur für Praktische Informatik (Prof. Remke)