Model Checking for Verification of Quantum Circuits

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:FM (24. : 2021 : Online) Formal Methods
1. Verfasser: Ying, Mingsheng (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2021
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
ISBN:9783030908690