Automata and Fixpoints for Asynchronous Hyperproperties
Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph
Forschungsartikel (Zeitschrift) | Peer reviewedDetails zur Publikation
Jahrgang / Bandnr. / Volume: 5
Ausgabe / Heftnr. / Issue: POPL
Seitenbereich: 1-29
Status: Veröffentlicht
Veröffentlichungsjahr: 2021
Sprache, in der die Publikation verfasst ist: Englisch
DOI: 10.1145/3434319
Link zum Volltext: https://doi.org/10.1145/3434319
Autor*innen der Universität Münster
| Gutsfeld, Jens Oliver | |
| Müller-Olm, Markus | |
| Ohrem, Christoph |
Projekte, aus denen die Publikation entstanden ist
Model-Checking von Navigationslogiken (MoNaLog) Laufzeit: 01.06.2020 - 31.05.2023 | 1. Förderperiode Gefördert durch: DFG - Sachbeihilfe/Einzelförderung Art des Projekts: Gefördertes Einzelprojekt |