A Temporal Logic for Asynchronous Hyperproperties
Baumeister, Jan ; Coenen, Norine ; Bonakdarpour, Borzoo ; Finkbeiner, Bernd ; Sánchez, César 2021 Springer
- Link zu diesem Datensatz
-
https://d-nb.info/1309709246
- Titel
-
A Temporal Logic for Asynchronous Hyperproperties
- Art des Inhalts
- Monographie
- Autor(en)
-
- Baumeister, Jan
- Coenen, Norine
- Bonakdarpour, Borzoo
- Finkbeiner, Bernd
- Sánchez, César
- Verlag
- Springer [2021]
- Jahr
- Erscheinungsdatum: 2021
- Umfang/Format
- Online-Ressource
- Online
- https://publications.cispa.saarland/3480/
- Sprache
- eng
- Anmerkungen
-
Datenlieferant: CISPA – Helmholtz center for information security
- Stand
- 13.11.2023 18:52
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
