Model Checking Quantum Systems

DOI10.1017/9781108613323zbMath1496.68008OpenAlexW4210251360MaRDI QIDQ5137359

Ming Sheng Ying, Yuan Feng

Publication date: 2 December 2020

Full work available at URL: https://doi.org/10.1017/9781108613323

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Quantum computation (81P68) Specification and verification (program logics, model checking, etc.) (68Q60) Quantum algorithms and complexity in the theory of computing (68Q12)

Related Items (1)

Model checking for entanglement swapping

This page was built for publication: Model Checking Quantum Systems