| |
| 2001 | ||
|---|---|---|
| 2 | EE | Magnus Lindahl, Paul Pettersson, Wang Yi: Formal design and analysis of a gear controller. STTT 3(3): 353-368 (2001) |
| 1998 | ||
| 1 | EE | Magnus Lindahl, Paul Pettersson, Wang Yi: Formal Design and Analysis of a Gear Controller. TACAS 1998: 281-297 |
| 1 | Paul Pettersson | [1] [2] |
| 2 | Wang Yi | [1] [2] |