Treffer: Modeling non-deterministic quantum programs for model checking
Titel:
Modeling non-deterministic quantum programs for model checking / Kaleb Kierner, Christina Gehnen ; Joost-Pieter Katoen, Dominique Unruh
Beteiligt:
Veröffentlicht:
Aachen : Universitätsbibliothek der RWTH Aachen, 2025
Umfang:
1 Online-Ressource
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Aachen. RWTH Aachen University, 2025
Hochschulschrift:
Bachelorarbeit, RWTH Aachen University, 2025
Schlagworte:
DOI:
10.18154/RWTH-2025-09031