Symbolic Verification of Quantum Circuits.

Ying, M

Ji, Z

Permalink

Open Access

Copyright Clearance Process

This item is open access.

View statistics

Full metadata record

Field	Value	Language
dc.contributor.author	Ying, M https://orcid.org/0000-0003-4847-702X
dc.contributor.author	Ji, Z
dc.date.accessioned	2021-03-14T22:50:38Z
dc.date.available	2021-03-14T22:50:38Z
dc.date.issued	2020
dc.identifier.citation	CoRR, 2020, abs/2010.03032
dc.identifier.uri	http://hdl.handle.net/10453/147118
dc.language	en
dc.relation	http://purl.org/au-research/grants/arc/DP160101652
dc.relation	http://purl.org/au-research/grants/arc/DP180100691
dc.relation.ispartof	CoRR
dc.rights	info:eu-repo/semantics/openAccess
dc.title	Symbolic Verification of Quantum Circuits.
dc.type	Journal Article
utslib.citation.volume	abs/2010.03032
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	*
dc.date.updated	2021-03-14T22:50:36Z
pubs.volume	abs/2010.03032

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