Model Checking Quantum Systems
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 11)

H-INDEX

0

(FIVE YEARS 0)

Published By Cambridge University Press

9781108613323, 9781108484305

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Basics of Model Checking

Model Checking Quantum Systems ◽

10.1017/9781108613323.004 ◽

2021 ◽

pp. 6-30

Keyword(s):

Model Checking

Proofs of Technical Lemmas in Chapter 6

Model Checking Quantum Systems ◽

10.1017/9781108613323.012 ◽

2021 ◽

pp. 196-200

Basics of Quantum Theory

Model Checking Quantum Systems ◽

10.1017/9781108613323.005 ◽

2021 ◽

pp. 31-49

Keyword(s):

Quantum Theory

Model Checking Quantum Markov Chains

Model Checking Quantum Systems ◽

10.1017/9781108613323.007 ◽

2021 ◽

pp. 87-137

Keyword(s):

Model Checking ◽

Markov Chains ◽

Quantum Markov Chains

Proofs of Technical Lemmas in Chapter 5

Model Checking Quantum Systems ◽

10.1017/9781108613323.011 ◽

2021 ◽

pp. 190-195

Conclusions and Prospects

Model Checking Quantum Systems ◽

10.1017/9781108613323.009 ◽

2021 ◽

pp. 175-180

Introduction

Model Checking Quantum Systems ◽

10.1017/9781108613323.003 ◽

2021 ◽

pp. 1-5

Model Checking Super-Operator-Valued Markov Chains

Model Checking Quantum Systems ◽

10.1017/9781108613323.008 ◽

2021 ◽

pp. 138-174

Keyword(s):

Model Checking ◽

Markov Chains

Proofs of Technical Lemmas in Chapter 4

Model Checking Quantum Systems ◽

10.1017/9781108613323.010 ◽

2021 ◽

pp. 181-189

Preface

Model Checking Quantum Systems ◽

10.1017/9781108613323.001 ◽

2021 ◽

pp. ix-x