@misc{indiciae41fe03cca924,
  title = {Predicting All Data Race Pairs for a Specific Schedule (extended version)},
  author = {Martin Sulzmann and Kai Stadtmüller},
  year = {2019},
  url = {https://arxiv.org/abs/1909.03289},
  note = {Source identifier: 1909.03289}
}