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.
Precaución: Estas citas no son 100% exactas.