Propositional Dynamic Logic for Hyperproperties
Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Konnov Igor, Kovács Laura
Buchtitel: 31st International Conference on Concurrency Theory
Verlag: Dagstuhl Publishing
Titel der Reihe: LIPIcs (ISSN: 1868-8969)
Nr. in Reihe: 171
Status: Veröffentlicht
Veröffentlichungsjahr: 2020
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: CONCUR 2020, Vienna, Austria, undefined
ISBN: 978-3-95977-160-3
Autor*innen der Universität Münster
| Gutsfeld, Jens Oliver | Professur für Praktische Informatik (Prof. Müller-Olm) |
| Müller-Olm, Markus | Professur für Praktische Informatik (Prof. Müller-Olm) |
| Ohrem, Christoph | Professur für Praktische Informatik (Prof. Müller-Olm) |