| |
| 2001 | ||
|---|---|---|
| 2 | EE | Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf: Correctness of Efficient Real-Time Model Checking. J. UCS 7(2): 194-209 (2001) |
| 2000 | ||
| 1 | EE | Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn, Tobias Vollmer: Do You Trust Your Model Checker? FMCAD 2000: 179-196 |
| 1 | Wolfgang Reif | [1] [2] |
| 2 | Jürgen Ruf | [1] [2] |
| 3 | Gerhard Schellhorn | [1] [2] |