@misc{indiciae5594b5091e99,
  title = {Reachability of Communicating Timed Processes},
  author = {Lorenzo Clemente and Frédéric Herbreteau and Amélie Stainer and Grégoire Sutre},
  year = {2012},
  url = {https://arxiv.org/abs/1209.0571},
  note = {Source identifier: 1209.0571}
}