Verification of quantum protocols using Coq
Conference poster
Boender, J., Kammueller, F. and Nagarajan, R. 2014. Verification of quantum protocols using Coq. 17th Conference on Quantum Information Processing (QIP). Barcelona, Spain 03 - 07 Feb 2014
Type | Conference poster |
---|---|
Title | Verification of quantum protocols using Coq |
Authors | Boender, J., Kammueller, F. and Nagarajan, R. |
Conference | 17th Conference on Quantum Information Processing (QIP) |
Publication dates | |
Feb 2014 | |
Publication process dates | |
Deposited | 23 Apr 2015 |
Output status | Published |
Language | English |
Permalink -
https://repository.mdx.ac.uk/item/8514y
48
total views0
total downloads0
views this month0
downloads this month