Ebrahim Ardeshir-Larijani. Automated equivalence checking of quantum information systems. PhD thesis, University of Warwick, UK, 2014. [doi]
@phdthesis{ethos-1297, title = {Automated equivalence checking of quantum information systems}, author = {Ebrahim Ardeshir-Larijani}, year = {2014}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.632877}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-1297}, cites = {0}, citedby = {0}, school = {University of Warwick, UK}, }