@INPROCEEDINGS{qbkat,
  author={La Corte, Lorenzo and Buckley, Anita and Chuprikov, Pavel and Eugster, Patrick},
  booktitle={2026 International Conference on Quantum Communications, Networking, and Computing (QCNC)}, 
  title={On the Specification and Analysis of Quantum Repeater Protocols}, 
  year={2026},
  volume={},
  number={},
  pages={245-251},
  keywords={Space exploration;Optical waveguides;Optical fibers;Communication systems;Protocols;Quantum communication;Quantum networks;Quantum repeaters;Repeaters;Quality of service;Quantum networks;entanglement distribution;protocol specification;performance evaluation},
  doi={10.1109/QCNC69040.2026.00042}}