| |
| 2007 | ||
|---|---|---|
| 1 | EE | Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime: UPPAAL-Tiga: Time for Playing Games! CAV 2007: 121-125 |
| 1 | Gerd Behrmann | [1] |
| 2 | Alexandre David | [1] |
| 3 | Emmanuel Fleury | [1] |
| 4 | Kim Guldstrand Larsen | [1] |
| 5 | Didier Lime | [1] |