[DSR22]
Surya Sai Teja Desu, Anubhav Srivastava and M. V. Panduranga Rao.
Model Checking for Entanglement Swapping.
In Proc. Formal Modeling and Analysis of Timed Systems (FORMATS'22).
2022.
[Analyses entanglement swapping for quantum communications using probabilistic model checking and PRISM.
]
|
