| |
| 2008 | ||
|---|---|---|
| 2 | EE | Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner: Solving µ-Calculus Parity Games by Symbolic Planning. MoChArt 2008: 15-33 |
| 2007 | ||
| 1 | Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen: Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. ISoLA 2007: 85-97 | |
| 1 | Stefan Edelkamp | [2] |
| 2 | Peter Kissmann | [2] |
| 3 | Tiziana Margaria (Tiziana Margaria-Steffen) | [1] |
| 4 | Clemens D. Renner | [1] [2] |
| 5 | Bernhard Steffen | [1] |