TY  - RPRT
TI  - Detecting Race Conditions in Parallel Programs that Use Semaphores
AU  - Philip N. Klein
AU  - Hsueh-I Lu
AU  - Rob H. B. Netzer
PY  - 2002
DO  - 10.1007/s00453-002-1004-3
UR  - https://arxiv.org/abs/cs/0208004
ID  - cs/0208004
ER  -