Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lara Stoltenow
conf.researchr.org general profile
STAF 2025 profile
Registered user since Mon 5 May 2025
Name:
Lara Stoltenow
Country:
Germany
Affiliation:
Universität Duisburg-Essen
Contributions
2025
ICGT
Author of Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems within the ICGT Research Papers-track
Share
x
Thu 30 Oct 06:42