@misc{indiciaea9793e4e1d2e,
  title = {Abstract Diagnosis for Timed Concurrent Constraint programs},
  author = {Marco Comini and Laura Titolo and Alicia Villanueva},
  year = {2011},
  url = {https://arxiv.org/abs/1109.1587},
  note = {Source identifier: 1109.1587}
}