@misc{indiciaeb09211349c88,
  title = {Safety Verification of Phaser Programs},
  author = {Zeinab Ganjei and Ahmed Rezine and Petru Eles and Zebo Peng},
  year = {2017},
  url = {https://arxiv.org/abs/1708.02801},
  note = {Source identifier: 1708.02801}
}