@misc{indiciae85a0c1809f78,
  title = {Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification},
  author = {Liangze Yin and Wei Dong and Wanwei Liu and Ji Wang},
  year = {2018},
  url = {https://arxiv.org/abs/1708.08323},
  note = {Source identifier: 1708.08323}
}