@article{DBLP:journals/corr/JoshiK14a,
  title = "Property-Driven Fence Insertion using Reorder Bounded Model Checking",
  author = "Saurabh Joshi and Daniel Kroening",
  year = "2014",
  journal = "CoRR",
  url = "http://arxiv.org/abs/1407.7443",
  volume = "abs/1407.7443",
}