Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems. - Barbara König 001; Arend Rensink; Lara Stoltenow; Fabian Urrigshardt (ICGT, 2025)

Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version). - Barbara König 001; Arend Rensink; Lara Stoltenow; Fabian Urrigshardt (CoRR, 2025)