The University of Warwick Library - WebBridge

Equivalence checking of quantum protocols
Ardeshir-Larijani, Ebrahim.  19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).  v. Volume 7795.   2013. p. 478 - 492... issn: 0302-9743 .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.