| |
| * | 2009 | |
|---|---|---|
| 4 | EE | Thomas Tuerk: A Formalisation of Smallfoot in HOL. TPHOLs 2009: 469-484 |
| 2006 | ||
| 3 | EE | Thomas Tuerk, Klaus Schneider, Mike Gordon: Model Checking PSL Using HOL and SMV. Haifa Verification Conference 2006: 1-15 |
| 2005 | ||
| 2 | EE | Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk: Maximal Causality Analysis. ACSD 2005: 106-115 |
| 1 | EE | Thomas Tuerk, Klaus Schneider: From PSL to LTL: A Formal Validation in HOL. TPHOLs 2005: 342-357 |
| 1 | Jens Brandt | [2] |
| 2 | Mike Gordon | [3] |
| 3 | Klaus Schneider | [1] [2] [3] |
| 4 | Tobias Schüle | [2] |