@misc{indiciaec4bd1f1a30ef,
  title = {Trace Expressiveness of Timed and Probabilistic Automata},
  author = {Valentin Bura and Tim French and Mark Reynolds},
  year = {2019},
  url = {https://arxiv.org/abs/1703.08956},
  note = {Source identifier: 1703.08956}
}