Pages that link to "Item:Q5326347"
From MaRDI portal
The following pages link to Equivalence Checking of Quantum Protocols (Q5326347):
Displaying 5 items.
- Semi-automated verification of security proofs of quantum cryptographic protocols (Q491263) (← links)
- Equivalence checking of quantum finite-state machines (Q2220441) (← links)
- Techniques for Formal Modelling and Analysis of Quantum Systems (Q4922086) (← links)
- (Q5015189) (← links)
- Model Checking Omega-regular Properties for Quantum Markov Chains (Q5111649) (← links)
