Propositional Dynamic Logic for Hyperproperties
Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: Konnov Igor, Kovács Laura
Book title: 31st International Conference on Concurrency Theory
Publishing company: Dagstuhl Publishing
Title of series: LIPIcs (ISSN: 1868-8969)
Volume of series: 171
Status: Published
Release year: 2020
Language in which the publication is written: English
Conference: CONCUR 2020, Vienna, Austria, undefined
ISBN: 978-3-95977-160-3
Authors from the University of Münster
| Gutsfeld, Jens Oliver | Professorship for practical computer science (Prof. Müller-Olm) |
| Müller-Olm, Markus | Professorship for practical computer science (Prof. Müller-Olm) |
| Ohrem, Christoph | Professorship for practical computer science (Prof. Müller-Olm) |