@misc{indiciaedb03a3e6c8e1,
  title = {Error Invariants for Concurrent Traces},
  author = {Andreas Holzer and Daniel Schwartz-Narbonne and Mitra Tabaei Befrouei and Georg Weissenbacher and Thomas Wies},
  year = {2016},
  url = {https://arxiv.org/abs/1608.08584},
  note = {Source identifier: 1608.08584}
}