@misc{indiciae5a433fa75f8c,
  title = {On Optimal Deadlock Detection Scheduling},
  author = {Yibei Ling and Shigang Chen and Cho-Yu Jason Chiang},
  year = {2010},
  url = {https://arxiv.org/abs/1008.0451},
  note = {Source identifier: 1008.0451}
}