Items where Author / Artist / Editor is "Ardeshir-Larijani, Ebrahim"

See full list of headings
Export as [feed] RSS 1.0
Group by: Item Type | No Grouping
Number of items: 2.

Book Section

Ardeshir-Larijani, Ebrahim and Gay, Simon J. and Nagarajan, Rajagopal (2013) Equivalence checking of quantum protocols. In: Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference Proceedings (TACAS 2013). Piterman, Nir and Smolka, Scott A., eds. Lecture Notes in Computer Science (7795). Springer, Berlin, pp. 478-492. ISBN 9783642367410

Conference or Workshop Item

Ardeshir-Larijani, Ebrahim and Gay, Simon J. and Nagarajan, Rajagopal (2014) Verification of concurrent quantum protocols by equivalence checking. In: 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, 5-13 Apr 2014, Grenoble, France.

This list was generated on Mon Mar 27 04:26:24 2017 BST.