Toward Automatic Verification of Quantum Cryptographic Protocols.

Feng, Y Ying, M

Permalink

Open Access

Copyright Clearance Process

This item is open access.

View statistics

Full metadata record

Field	Value	Language
dc.contributor.author	Feng, Y	en_US
dc.contributor.author	Ying, M https://orcid.org/0000-0003-4847-702X	en_US
dc.contributor.editor	Aceto, L	en_US
dc.contributor.editor	Frutos-Escrig, DD	en_US
dc.date.issued	2015	en_US
dc.identifier.citation	CONCUR, 2015, 42 pp. 441 - 455	en_US
dc.identifier.isbn	978-3-939897-91-0	en_US
dc.identifier.uri	http://hdl.handle.net/10453/64410
dc.publisher	Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik	en_US
dc.relation	http://purl.org/au-research/grants/arc/DP130102764
dc.relation	http://purl.org/au-research/grants/arc/DP160101652
dc.relation	http://purl.org/au-research/grants/arc/DP180100691
dc.relation.ispartof	CONCUR	en_US
dc.title	Toward Automatic Verification of Quantum Cryptographic Protocols.	en_US
dc.type	Conference Proceeding
utslib.citation.volume	42	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Strength - QSI - Centre for Quantum Software and Information
utslib.copyright.status	open_access
pubs.declined	2016-11-28T13:55:58.104+1100
pubs.volume	42	en_US

Please use this identifier to cite or link to this item: