@misc{indiciae7e3eea2a654c,
  title = {Property-Driven Fence Insertion using Reorder Bounded Model Checking},
  author = {Saurabh Joshi and Daniel Kroening},
  year = {2015},
  doi = {10.1007/978-3-319-19249-9\_19},
  url = {https://arxiv.org/abs/1407.7443},
  note = {Source identifier: 1407.7443}
}