TY  - RPRT
TI  - A Specification Format and a Verification Method of Fault-Tolerant Quantum Circuits
AU  - Alexandru Paler
AU  - Simon J. Devitt
PY  - 2018
DO  - 10.1103/physreva.98.022302
UR  - https://arxiv.org/abs/1712.09892
ID  - 1712.09892
ER  -