@misc{indiciae534d9937dfa3,
  title = {Formal verification of higher dimensional quantum protocols},
  author = {Ittoop Vergheese Puthoor},
  year = {2024},
  url = {https://arxiv.org/abs/2409.17980},
  note = {Source identifier: 2409.17980}
}