| |
| 2000 | ||
|---|---|---|
| 1 | EE | Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard: Practical Verification of Embedded Software. IEEE Computer 33(5): 68-75 (2000) |
| 1 | Henrik Reif Andersen | [1] |
| 2 | Gerd Behrmann | [1] |
| 3 | Henrik Hulgaard | [1] |
| 4 | Kåre J. Kristoffersen | [1] |
| 5 | Kim Guldstrand Larsen | [1] |
| 6 | Henrik Leerberg | [1] |
| 7 | Jørn Lind-Nielsen | [1] |
| 8 | Arne Skou | [1] |
| 9 | Jørgen Staunstrup | [1] |