Number of items: 2.
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.
doi:10.1007/978-3-642-36742-7_33
ISSN 0302-9743.
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.
doi:10.1007/978-3-642-36742-7_33
ISSN 0302-9743.
This list was generated on Thu Apr 18 23:18:31 2024 BST.