TY  - RPRT
TI  - Data-centric Dynamic Partial Order Reduction
AU  - Marek Chalupa
AU  - Krishnendu Chatterjee
AU  - Andreas Pavlogiannis
AU  - Nishant Sinha
AU  - Kapil Vaidya
PY  - 2019
UR  - https://arxiv.org/abs/1610.01188
ID  - 1610.01188
ER  -