@misc{indiciae00adb748fb61,
  title = {Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations},
  author = {Jingshu Chen and Marie Duflot and Stephan Merz},
  year = {2014},
  url = {https://arxiv.org/abs/1412.0961},
  note = {Source identifier: 1412.0961}
}