| |
| 2008 | ||
|---|---|---|
| 3 | EE | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif: Automating Algebraic Specifications of Non-freely Generated Data Types. ATVA 2008: 141-155 |
| 2 | EE | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif: Bounded Relational Analysis of Free Data Types. TAP 2008: 99-115 |
| 2006 | ||
| 1 | EE | Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt: Verification of Medical Guidelines by Model Checking - A Case Study. SPIN 2006: 219-233 |
| 1 | Michael Balser | [1] |
| 2 | Simon Bäumler | [1] |
| 3 | Wolfgang Reif | [1] [2] [3] |
| 4 | Gerhard Schellhorn | [2] [3] |
| 5 | Jonathan Schmitt | [1] |