@misc{indiciaee9e07b0b2096,
  title = {Specification and verification of a linear-time logic for graph transformation},
  author = {Fabio Gadducci and Andrea Laretto and Davide Trotta},
  year = {2023},
  url = {https://arxiv.org/abs/2305.03832},
  note = {Source identifier: 2305.03832}
}