@misc{indiciae5c1a7eed0909,
  title = {Complexity of Liveness in Parameterized Systems},
  author = {Peter Chini and Roland Meyer and Prakash Saivasan},
  year = {2019},
  url = {https://arxiv.org/abs/1909.12004},
  note = {Source identifier: 1909.12004}
}