| |
| 2007 | ||
|---|---|---|
| 2 | EE | Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Model Checking Software at Compile Time. TASE 2007: 45-56 |
| 2006 | ||
| 1 | EE | Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Goanna - A Static Model Checker. FMICS/PDMC 2006: 297-300 |
| 1 | Ansgar Fehnker | [1] [2] |
| 2 | Ralf Huuck | [1] [2] |
| 3 | Patrick Jayet | [1] [2] |
| 4 | Felix Rauch | [1] [2] |