Liam Garvie (University of Strathclyde) |
Ross Duncan (University of Strathclyde) |
In this paper we present a Quantomatic case study, verifying the basic properties of the Smallest Interesting Colour Code error detecting code. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.266.10 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |