Australian Research Council (ARC)

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal (2013) Equivalence checking of quantum protocols. In: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Rome, Italy, 16-24 March 2013. Published in: Tools and Algorithms for the Construction and Analysis of Systems, Proceedings, Volume 7795 pp. 478-492. ISBN 9783642367410. ISSN 0302-9743. doi:10.1007/978-3-642-36742-7_33

Engineering and Physical Sciences Research Council (EPSRC)

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal (2013) Equivalence checking of quantum protocols. In: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Rome, Italy, 16-24 March 2013. Published in: Tools and Algorithms for the Construction and Analysis of Systems, Proceedings, Volume 7795 pp. 478-492. ISBN 9783642367410. ISSN 0302-9743. doi:10.1007/978-3-642-36742-7_33