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:
Kierner, Kaleb (Verfasser); Gehnen, Christina (Verfasser); Katoen, Joost-Pieter (Akademischer Betreuer) ; Unruh, Dominique (Akademischer Betreuer) 
Veröffent­licht:
Aachen : Universitätsbibliothek der RWTH Aachen, 2025
Umfang:
1 Online-Ressource
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Aachen. RWTH Aachen University, 2025
Hochschul­schrift:
Bachelorarbeit, RWTH Aachen University, 2025
Schlagworte:
DOI:
10.18154/RWTH-2025-09031

Zusatz-Informationen

Zusatz-Funktionen