| 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 | Kim Guldstrand Larsen | [1] |
| 2 | Michael A. Petersen | [1] |
| 3 | Jacob Illum Rasmussen | [1] |
| 4 | Arne Skou | [1] |