| |
| 2000 | ||
|---|---|---|
| 1 | EE | Torsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen: Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL. ECRTS 2000: 147-155 |
| 1 | Torsten K. Iversen | [1] |
| 2 | Kåre J. Kristoffersen | [1] |
| 3 | Kim Guldstrand Larsen | [1] |
| 4 | Morten Laursen | [1] |
| 5 | Rune G. Madsen | [1] |
| 6 | Paul Pettersson | [1] |
| 7 | Chris B. Thomasen | [1] |