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