TY  - RPRT
TI  - Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version)
AU  - Barbara König
AU  - Arend Rensink
AU  - Lara Stoltenow
AU  - Fabian Urrigshardt
PY  - 2025
UR  - https://arxiv.org/abs/2504.08617
ID  - 2504.08617
ER  -