- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 1 |      | 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] |