Login / Signup
Harald König
ORCID
Publication Activity (10 Years)
Years Active: 2005-2024
Publications (10 Years): 28
Top Topics
Consistency Checking
Product Line
Rewriting Systems
Graph Transformation
Top Venues
CoRR
FASE
ICGT
Formal Aspects Comput.
</>
Publications
</>