| |
| 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 | Tom Bienmüller | [1] |
| 2 | Jürgen Bohn | [1] |
| 3 | Udo Brockmeyer | [1] |
| 4 | Werner Damm | [1] |
| 5 | Hardi Hungar | [1] |
| 6 | Peter Jansen | [1] |