| |
| 2008 | ||
|---|---|---|
| 1 | EE | John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej: Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. ATVA 2008: 252-257 |
| 1 | Jan Carlson | [1] |
| 2 | John Håkansson | [1] |
| 3 | Paul Pettersson | [1] |
| 4 | Davor Slutej | [1] |