Journal Articles
Theory of Computing Systems
Year : 2019
Elham Kashefi : Connect in order to contact the contributor
https://hal.science/hal-02164412
Submitted on : Tuesday, June 25, 2019-9:51:50 AM
Last modification on : Wednesday, February 8, 2023-5:11:07 PM
Dates and versions
Identifiers
- HAL Id : hal-02164412 , version 1
- ARXIV : 1709.06984
- DOI : 10.1007/s00224-018-9872-3
Cite
Alexandru Gheorghiu, Theodoros Kapourniotis, Elham Kashefi. Verification of Quantum Computation: An Overview of Existing Approaches. Theory of Computing Systems, 2019, 63 (4), pp.715-808. ⟨10.1007/s00224-018-9872-3⟩. ⟨hal-02164412⟩
Collections
33
View
0
Download