TY  - RPRT
TI  - On Optimal Deadlock Detection Scheduling
AU  - Yibei Ling
AU  - Shigang Chen
AU  - Cho-Yu Jason Chiang
PY  - 2010
UR  - https://arxiv.org/abs/1008.0451
ID  - 1008.0451
ER  -