Items where Author / Artist / Editor is "Piterman, Nir"
 | See full list of headings |
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: https://orcid.org/0000-0002-9724-4962
(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)
