Model checking quantum systems : principles and algorithms /
Ying, Mingsheng,author.
Feng, Yuan,1977-author.
Includes bibliographical references and index.
Introduction -- Basics of model checking -- Basics of quantum theory -- Model checking quantum automata -- Model checking quantum -- Markov chains -- Model checking super-operator-value Markov chains -- Conclusions and prospect.
Quantum computing.
Computer systems
Computer systems
Quantum computing