@misc{indiciae3b605b1cd8c9,
  title = {Formally Verified Convergence of Policy-Rich DBF Routing Protocols},
  author = {Matthew L. Daggitt and Timothy G. Griffin},
  year = {2023},
  url = {https://arxiv.org/abs/2106.01184},
  note = {Source identifier: 2106.01184}
}