@misc{indiciaef7c94d975dfd,
  title = {Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars},
  author = {Radu Iosif and Arnaud Sangnier and Neven Villani},
  year = {2025},
  url = {https://arxiv.org/abs/2505.01269},
  note = {Source identifier: 2505.01269}
}