@misc{indiciaed0561025f3b2,
  title = {Symbolic Timed Observational Equivalence},
  author = {Vivek Nigam and Carolyn Talcott and Abrãao Aires Urquiza},
  year = {2018},
  url = {https://arxiv.org/abs/1801.04066},
  note = {Source identifier: 1801.04066}
}