@misc{indiciae220c932ae2ec,
  title = {Coarse abstractions make Zeno behaviours difficult to detect},
  author = {Frédéric Herbreteau and B Srivathsan},
  year = {2013},
  doi = {10.2168/lmcs-9(1:6)2013},
  url = {https://arxiv.org/abs/1106.1850},
  note = {Source identifier: 1106.1850}
}