@misc{indiciaedc937346669d,
  title = {Language Emptiness of Continuous-Time Parametric Timed Automata},
  author = {Nikola Beneš and Peter Bezděk and Kim G. Larsen and Jiří Srba},
  year = {2015},
  url = {https://arxiv.org/abs/1504.07838},
  note = {Source identifier: 1504.07838}
}