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]

No reviews for this publication, yet.