Model Checking Quantum Systems Principles and Algorithms

Ying, M

Feng, Y

Permalink

Closed Access

	Filename	Description	Size
	Binder1.pdf	Published version	123.37 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.author	Feng, Y https://orcid.org/0000-0002-3097-3896
dc.date.accessioned	2022-04-02T04:10:40Z
dc.date.available	2022-04-02T04:10:40Z
dc.date.issued	2021-01-31
dc.identifier.citation	2021, pp. 1-240
dc.identifier.isbn	1108484301
dc.identifier.isbn	9781108484305
dc.identifier.uri	http://hdl.handle.net/10453/155896
dc.description.abstract	The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.
dc.language	en
dc.publisher	Cambridge University Press
dc.relation	http://purl.org/au-research/grants/arc/DP180100691
dc.relation.isbasedon	10.1017/9781108613323
dc.rights	info:eu-repo/semantics/closedAccess
dc.title	Model Checking Quantum Systems Principles and Algorithms
dc.type	Book
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	*
pubs.consider-herdc	false
dc.date.updated	2022-04-02T04:10:37Z
pubs.place-of-publication	UK
pubs.publication-status	Published
dc.location	UK

Abstract:

The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.

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