| |
| * | 2008 | |
|---|---|---|
| 1 | EE | Christian Kubczak, Tiziana Margaria, Matthias Kaiser, Jens Lemcke, Bjoern Knuth: Abductive Synthesis of the Mediator Scenario with jABC and GEM. EON 2008 |
| 1 | Matthias Kaiser | [1] |
| 2 | Christian Kubczak | [1] |
| 3 | Jens Lemcke | [1] |
| 4 | Tiziana Margaria (Tiziana Margaria-Steffen) | [1] |