TY - RPRT TI - Cross-level Validation of Topological Quantum Circuits AU - Alexandru Paler AU - Simon J. Devitt AU - Kae Nemoto AU - Ilia Polian PY - 2014 UR - https://arxiv.org/abs/1407.8296 ID - 1407.8296 ER -