@misc{indiciae23f92e6ef98c,
  title = {Formal Abstractions for Packet Scheduling},
  author = {Anshuman Mohan and Yunhe Liu and Nate Foster and Tobias Kappé and Dexter Kozen},
  year = {2026},
  url = {https://arxiv.org/abs/2211.11659},
  note = {Source identifier: 2211.11659}
}