Items where Author / Artist / Editor is "Smolka, Scott A."

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.

Book Section

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal ORCID logoORCID: (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. [Book Section] (doi:10.1007/978-3-642-36742-7_33)

This list was generated on Thu Sep 28 04:01:52 2023 BST.