Automata and Fixpoints for Asynchronous Hyperproperties
Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph
Research article (journal) | Peer reviewedDetails about the publication
Volume: 5
Issue: POPL
Page range: 1-29
Status: Published
Release year: 2021
Language in which the publication is written: English
DOI: 10.1145/3434319
Link to the full text: https://doi.org/10.1145/3434319
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 |