Kein Cover

Verification of asynchronous hyperproperties

Ohrem, Christoph ; Müller-Olm, Markus 2025 Universitäts- und Landesbibliothek Münster

Titel
Verification of asynchronous hyperproperties
Art des Inhalts
Monographie
Verfassangaben
Christoph Ohrem ; Betreuer: Markus Müller-Olm
Autor(en)
  • Ohrem, Christoph
  • Müller-Olm, Markus
Verlag
Münster : Universitäts- und Landesbibliothek Münster [2025]
Jahr
Erscheinungsdatum: 2025
Umfang/Format
Online-Ressource
DOI
10.17879/92968477254
Online
https://doi.org/10.17879/92968477254
Sprache
eng
DDC-Klasse(n)
Schlagwörter
Stand
23.12.2025 13:25
Im Katalog seit
07.03.2026

Beschreibung vom Verlag

← Zurück zur Startseite