@misc{indiciae8dc3dc9b0185,
  title = {Hitting Families of Schedules for Asynchronous Programs},
  author = {Dmitry Chistikov and Rupak Majumdar and Filip Niksic},
  year = {2016},
  url = {https://arxiv.org/abs/1602.03755},
  note = {Source identifier: 1602.03755}
}