受强制性开放获取政策约束的文章 - Ebrahim Ardeshir-Larijani了解详情
无法在其他位置公开访问的文章：1 篇
Verification of concurrent quantum protocols by equivalence checking
E Ardeshir-Larijani, SJ Gay, R Nagarajan
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
强制性开放获取政策： Australian Research Council, UK Engineering and Physical Sciences Research …
可在其他位置公开访问的文章：1 篇
Equivalence checking of quantum protocols
E Ardeshir-Larijani, SJ Gay, R Nagarajan
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
强制性开放获取政策： Australian Research Council
出版信息和资助信息由计算机程序自动确定