Propositional Dynamic Logic for Hyperproperties
Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Konnov Igor, Kovács Laura
Book title: 31st International Conference on Concurrency Theory
Publisher: 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
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) |
Projects the publication originates from
Model Checking of Navigation Logics (MoNaLog) Duration: 01/06/2020 - 31/05/2023 | 1st Funding period Funded by: DFG - Individual Grants Programme Type of project: Individual project |