Model checking for entanglement swapping
From MaRDI portal
Publication:2112108
DOI10.1007/978-3-031-15839-1_6OpenAlexW4293399503MaRDI QIDQ2112108
M. V. Panduranga Rao, Anubhav Srivastava, Surya Sai Teja Desu
Publication date: 18 January 2023
Full work available at URL: https://doi.org/10.1007/978-3-031-15839-1_6
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Quantum cryptography: public key distribution and coin tossing
- Performance analysis of probabilistic timed automata using digital clocks
- A logic for reasoning about time and reliability
- Automatic verification of real-time systems with discrete probability distributions.
- Model checking for probabilistic timed automata
- Scheduling with timed automata
- Quantum Computation and Quantum Information
- Improving the Security of CHAP Protocol by Quantum Cryptography
- A Logic for Formal Verification of Quantum Programs
- Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
- Model Checking Quantum Systems
- Experimental quantum teleportation
- The Logic of Entanglement
This page was built for publication: Model checking for entanglement swapping
