Automated equivalence checking of quantum information systems

Ebrahim Ardeshir-Larijani. Automated equivalence checking of quantum information systems. PhD thesis, University of Warwick, UK, 2014. [doi]

Authors

Ebrahim Ardeshir-Larijani

This author has not been identified. Look up 'Ebrahim Ardeshir-Larijani' in Google