Cita APA (7a ed.)

König, B., Rensink, A., Stoltenow, L., & Urrigshardt, F. (2025). Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version).

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

König, Barbara, et al. Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version). 2025.