Specification and verification of quantum protocols

Gay, S. , Nagarajan, R. and Papanikolaou, N. (2010) Specification and verification of quantum protocols. In: Gay, S. and Mackie, I. (eds.) Semantic Techniques in Quantum Computation. Cambridge University Press, pp. 414-472. ISBN 9780521513746

Full text not currently available from Enlighten.

Publisher's URL: http://www.cambridge.org/gb/knowledge/isbn/item2707894/?site_locale=en_GB


Item Type:Book Sections (Other)
Status:Published
Glasgow Author(s) Enlighten ID:Gay, Professor Simon
Authors: Gay, S., Nagarajan, R., and Papanikolaou, N.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:College of Science and Engineering > School of Computing Science
Publisher:Cambridge University Press
ISBN:9780521513746
Related URLs:

University Staff: Request a correction | Enlighten Editors: Update this record