Model-checking quantum systems

Ying, M

Feng, Y

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	en_US
dc.contributor.author	Feng, Y https://orcid.org/0000-0002-3097-3896	en_US
dc.date.issued	2019-01-01	en_US
dc.identifier.citation	National Science Review, 2019, 6 (1), pp. 28 - 31	en_US
dc.identifier.issn	2095-5138	en_US
dc.identifier.uri	http://hdl.handle.net/10453/130939
dc.relation	http://purl.org/au-research/grants/arc/DP160101652
dc.relation	http://purl.org/au-research/grants/arc/DP180100691
dc.relation.ispartof	National Science Review	en_US
dc.relation.isbasedon	10.1093/nsr/nwy106	en_US
dc.title	Model-checking quantum systems	en_US
dc.type	Journal Article
utslib.citation.volume	1	en_US
utslib.citation.volume	6	en_US
utslib.for	0703 Crop and Pasture Production	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.issue	1	en_US
pubs.publication-status	Published	en_US
pubs.volume	6	en_US

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