scientific article
From MaRDI portal
Publication:3560846
zbMath1196.68135MaRDI QIDQ3560846
Rajagopal Nagarajan, Simon J. Gay, Nikolaos I. Papanikolaou
Publication date: 14 May 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Quantum computation (81P68) Specification and verification (program logics, model checking, etc.) (68Q60) Quantum information, communication, networks (quantum-theoretic aspects) (81P45) Quantum cryptography (quantum-theoretic aspects) (81P94)
Related Items (12)
Measuring the constrained reachability in quantum Markov chains ⋮ Towards Quantum Programs Verification: From Quipper Circuits to QPMC ⋮ Model-Checking Linear-Time Properties of Quantum Systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The modeling library of eavesdropping methods in quantum cryptography protocols by model checking ⋮ Symbolic Bisimulation for Quantum Processes ⋮ Techniques for Formal Modelling and Analysis of Quantum Systems ⋮ Fibring as biporting subsumes asymmetric combinations ⋮ Classical Knowledge for Quantum Security ⋮ Model Checking Omega-regular Properties for Quantum Markov Chains ⋮ Model checking for entanglement swapping
This page was built for publication:
