@misc{indiciaebee23f9bcdb1,
  title = {Detecting Race Conditions in Parallel Programs that Use Semaphores},
  author = {Philip N. Klein and Hsueh-I Lu and Rob H. B. Netzer},
  year = {2002},
  doi = {10.1007/s00453-002-1004-3},
  url = {https://arxiv.org/abs/cs/0208004},
  note = {Source identifier: cs/0208004}
}