par Duncan, Ross Cliquez pour télécharger la liste de publications de l'auteur; Lucas, Maxime M.
Référence Electronic proceedings in theoretical computer science, 171, (page 33-49)
Publication Publié, 2014-12
Article révisé par les pairs
Titre :
  • Verifying the steane code with quantomatic
Auteur : Duncan, Ross ; Lucas, Maxime M.
Informations sur la publication : Electronic proceedings in theoretical computer science, 171, (page 33-49)
Statut de publication : Publié, 2014-12
Sujet CREF : Généralités
Note : SCOPUS: cp.p
Langue :
  • Anglais
Identificateurs : urn:issn:2075-2180 
info:doi/10.4204/EPTCS.171.4