- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 1 |      | Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Michael A. Petersen, Arne Skou: Model-Based GUI Testing Using Uppaal at Novo Nordisk. FM 2009: 814-818 |
| 1 | Ulrik H. Hjort | [1] |
| 2 | Kim Guldstrand Larsen | [1] |
| 3 | Jacob Illum Rasmussen | [1] |
| 4 | Arne Skou | [1] |