TY  - RPRT
TI  - High-Level Data Races
AU  - Artho, Cyrille
AU  - Havelund, Klaus
AU  - Biere, Armin
AU  - Koga, Dennis
PY  - 2003
UR  - https://ntrs.nasa.gov/citations/20030015242
ID  - 20030015242
ER  -