Model Checking for Verification of Quantum Circuits.

Ying, M

Permalink

Closed Access

	Filename	Description	Size
	FM'21.pdf	Published version	634.22 kB	Adobe PDF	View/Open

Copyright Clearance Process

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Ying, M https://orcid.org/0000-0003-4847-702X
dc.contributor.editor	Huisman, M
dc.contributor.editor	Pasareanu, CS
dc.contributor.editor	Zhan, N
dc.date.accessioned	2024-01-29T21:39:32Z
dc.date.available	2024-01-29T21:39:32Z
dc.date.issued	2021
dc.identifier.citation	FM, 2021, 13047, pp. 23-39
dc.identifier.isbn	978-3-030-90869-0
dc.identifier.uri	http://hdl.handle.net/10453/175033
dc.language	en
dc.publisher	Springer
dc.relation	http://purl.org/au-research/grants/arc/DP180100691
dc.relation.ispartof	FM
dc.relation.ispartofseries	Lecture Notes in Computer Science
dc.rights	info:eu-repo/semantics/closedAccess
dc.title	Model Checking for Verification of Quantum Circuits.
dc.type	Conference Proceeding
utslib.citation.volume	13047
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	closed_access	*
dc.date.updated	2024-01-29T21:39:31Z
pubs.volume	13047

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