Toward Automatic Verification of Quantum Cryptographic Protocols.

Publisher:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Publication Type:
Conference Proceeding
Citation:
CONCUR, 2015, 42 pp. 441 - 455
Issue Date:
2015
Full metadata record
Files in This Item:
Filename Description Size
disbis-concur.pdfAccepted Manuscript version579.58 kB
Adobe PDF
Please use this identifier to cite or link to this item: