@inproceedings{aformalanalysisofkarnsalgorithm,
  title = {A Formal Analysis of Karn's Algorithm},
  author = {Max von Hippel and Cristina Nita-Rotaru and Kenneth L. McMillan and Lenore Zuck},
  year = {2023},
  booktitle = {International Conference on Networked Systems 2023 7},
  url = {https://link.springer.com/chapter/10.1007/978-3-031-37765-5_4},
}