@misc{indiciae8735b0137eaa,
  title = {Liveness of Parameterized Timed Networks},
  author = {Benjamin Aminof and Sasha Rubin and Francesco Spegni and Florian Zuleger},
  year = {2016},
  url = {https://arxiv.org/abs/1609.04176},
  note = {Source identifier: 1609.04176}
}