Verification of quantum protocols using Coq
Boender, Jaap, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Nagarajan, Rajagopal
ORCID: https://orcid.org/0000-0002-9724-4962
(2014)
Verification of quantum protocols using Coq.
In: 17th Conference on Quantum Information Processing (QIP), 3-7 Feb 2014, Barcelona, Spain.
.
[Conference or Workshop Item]
Item Type: | Conference or Workshop Item (Poster) |
---|---|
Research Areas: | A. > School of Science and Technology > Computer Science |
Item ID: | 15201 |
Useful Links: | |
Depositing User: | Florian Kammueller |
Date Deposited: | 23 Apr 2015 11:01 |
Last Modified: | 13 Oct 2016 14:33 |
URI: | https://eprints.mdx.ac.uk/id/eprint/15201 |
Actions (login required)
![]() |
View Item |
Statistics
Downloads
Activity Overview
6 month trend
6 month trend
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)