| |
| 1997 | ||
|---|---|---|
| 1 | EE | Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund: Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAA. IEEE Real-Time Systems Symposium 1997: 2-13 |
| 1 | Klaus Havelund | [1] |
| 2 | Kim Guldstrand Larsen | [1] |
| 3 | Arne Skou | [1] |