@inproceedings{Artho-etalHLDR,
  author={C. Artho and K. Havelund and A. Biere},
  title={{High-Level Data Races}},
  booktitle={VVEIS~2003: 1st Int.\  Workshop on Verification and Validation of Enterprise Information Systems},
  address = {Angers, France},
  year={2003},
  publisher = {ICEIS Press},
  pages = {82--93},
}