| |
| 1995 | ||
|---|---|---|
| 4 | Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer: Formalization of Algebraic Specification in the Development Language DEVA. KORSO Book 1995: 223-238 | |
| 1993 | ||
| 3 | Gabriele Taentzer, Martin Beyer: Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 380-394 | |
| 2 | Matthias Anlauff, Martin Beyer, Thomas Santen: Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract). GI Jahrestagung 1993: 247-252 | |
| 1 | Michael Löwe, Martin Beyer: AGG - An Implementation of Algebraic Graph Rewriting. RTA 1993: 451-456 | |
| 1 | Matthias Anlauff | [2] |
| 2 | Stefan Jähnichen | [4] |
| 3 | Florian Kammüller | [4] |
| 4 | Michael Löwe | [1] |
| 5 | Thomas Santen | [2] [4] |
| 6 | Gabriele Taentzer | [3] |