TY  - RPRT
TI  - Predicting All Data Race Pairs for a Specific Schedule (extended version)
AU  - Martin Sulzmann
AU  - Kai Stadtmüller
PY  - 2019
UR  - https://arxiv.org/abs/1909.03289
ID  - 1909.03289
ER  -