Research
Projects
- Graphs, Recognizability and Verification (GaReV) — DFG project, since 2010
- Behavioural Simulation and Equivalences of Systems Modelled by Graph Transformation (Behaviour-GT) — DFG project, since 2008
- Static Analysis of Dynamically Evolving Systems (SANDS) — DFG project, since 2004
Druckversion