The University of Warwick Library - WebBridge

Verification of concurrent quantum protocols by equivalence checking
Ardeshir-Larijani, Ebrahim.  Tools and Algorithms for the Construction and Analysis of Systems.  v. Volume 8413.   2014. p. 500 - 514... issn: 0302-9743 .   

Online access not found

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