@misc{indiciae01b82ff1a2e2,
  title = {Automatic Repair and Deadlock Detection for Parameterized Systems},
  author = {Swen Jacobs and Mouhammad Sakr and Marcus Völp},
  year = {2022},
  url = {https://arxiv.org/abs/2111.03322},
  note = {Source identifier: 2111.03322}
}