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