| |
| 2000 | ||
|---|---|---|
| 2 | Tom Bienmüller, Werner Damm, Hartmut Wittke: The STATEMATE Verification Environment - Making It Real. CAV 2000: 561-567 | |
| 1999 | ||
| 1 | EE | Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen: Verification of Automotive Control Units. Correct System Design 1999: 319-341 |
| 1 | Jürgen Bohn | [1] |
| 2 | Henning Brinkmann | [1] |
| 3 | Udo Brockmeyer | [1] |
| 4 | Werner Damm | [1] [2] |
| 5 | Hardi Hungar | [1] |
| 6 | Peter Jansen | [1] |
| 7 | Hartmut Wittke | [2] |