@misc{indiciae857b5d2e6b6d,
  title = {Formal Verification of Quantum Protocols},
  author = {Rajagopal Nagarajan and Simon Gay},
  year = {2002},
  url = {https://arxiv.org/abs/quant-ph/0203086},
  note = {Source identifier: quant-ph/0203086}
}