![]() | ![]() |
| 2000 | ||
|---|---|---|
| 1 | 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 (Kim G. Larsen) | [1] |
| 6 | Jørn Lind-Nielsen | [1] |
| 7 | Arne Skou | [1] |
| 8 | Jørgen Staunstrup | [1] |
| 9 | Niels Bo Theilgaard | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page