Modeling non-deterministic quantum programs for model checking
Kierner, Kaleb ; Gehnen, Christina ; Katoen, Joost-Pieter ; Unruh, Dominique 2025 Universitätsbibliothek der RWTH Aachen
- Link zu diesem Datensatz
-
https://d-nb.info/1380882176
- Titel
-
Modeling non-deterministic quantum programs for model checking
- Art des Inhalts
- Monographie
- Verfassangaben
- Kaleb Kierner, Christina Gehnen ; Joost-Pieter Katoen, Dominique Unruh
- Autor(en)
-
- Kierner, Kaleb
- Gehnen, Christina
- Katoen, Joost-Pieter
- Unruh, Dominique
- Verlag
- Aachen : Universitätsbibliothek der RWTH Aachen [2025]
- Jahr
- Erscheinungsdatum: 2025
- Umfang/Format
- Online-Ressource
- DOI
- 10.18154/RWTH-2025-09031
- Online
- https://doi.org/10.18154/RWTH-2025-09031
- Sprache
- eng
- Stand
- 03.12.2025 23:38
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
