Author:
Anticoli Linda,Piazza Carla,Taglialegne Leonardo,Zuliani Paolo
Publisher
Springer International Publishing
Reference16 articles.
1. Lecture Notes in Computer Science;L Anticoli,2016
2. Anticoli, L., Piazza, C., Taglialegne, L., Zuliani, P.: Verifying quantum programs: from quipper to QPMC (2017). CoRR, abs/1708.06312
3. Baltazar, P., Chadha, R., Mateus, P.: Quantum computation tree logic - model checking and complete calculus. Int. J. Quantum Inf. 6, 219 (2008)
4. Baltazar, P., Chadha, R., Mateus, P., Sernadas, A.: Towards model-checking quantum security protocols. In: Proceedings of the First Workshop on Quantum Security: QSEC 2007. IEEE Press (2007)
5. Bennett, C.H., Brassard, G.: Quantum public key distribution reinvented. SIGACT News 18(4), 51–53 (1987)