@misc{indiciaee2b15867764c,
  title = {A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A},
  author = {David Greve and Jennifer Davis and Laura Humphrey},
  year = {2022},
  doi = {10.4204/eptcs.359.5},
  url = {https://arxiv.org/abs/2205.11697},
  note = {Source identifier: 2205.11697}
}