| |
| 2006 | ||
|---|---|---|
| 4 | EE | Harmen Kastenberg, Anneke Kleppe, Arend Rensink: Defining Object-Oriented Execution Semantics Using Graph Transformations. FMOODS 2006: 186-201 |
| 3 | EE | Harmen Kastenberg, Arend Rensink: Model Checking Dynamic States in GROOVE. SPIN 2006: 299-305 |
| 2 | EE | Ruben Smelik, Arend Rensink, Harmen Kastenberg: Specification and Construction of Control Flow Semantics. VL/HCC 2006: 65-72 |
| 1 | EE | Harmen Kastenberg: Towards Attributed Graphs in Groove: Work in Progress. Electr. Notes Theor. Comput. Sci. 154(2): 47-54 (2006) |
| 1 | Anneke Kleppe | [4] |
| 2 | Arend Rensink | [2] [3] [4] |
| 3 | Ruben Smelik | [2] |