@misc{indiciae42ca9ae07ec1,
  title = {Counting Abstraction for the Verification of Structured Parameterized Networks},
  author = {Marius Bozga and Radu Iosif and Arnaud Sangnier and Neven Villani},
  year = {2025},
  url = {https://arxiv.org/abs/2502.15391},
  note = {Source identifier: 2502.15391}
}