@misc{indiciae5b72db162edd,
  title = {Value-centric Dynamic Partial Order Reduction},
  author = {Krishnendu Chatterjee and Andreas Pavlogiannis and Viktor Toman},
  year = {2019},
  url = {https://arxiv.org/abs/1909.00989},
  note = {Source identifier: 1909.00989}
}