@misc{indiciae91f01fda4a79,
  title = {Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction},
  author = {Paul Eichler and Swen Jacobs and Chana Weil-Kennedy},
  year = {2026},
  doi = {10.1007/978-3-031-82700-6\_5},
  url = {https://arxiv.org/abs/2408.05954},
  note = {Source identifier: 2408.05954}
}