| |
| 1995 | ||
|---|---|---|
| 2 | Anders Børjesson, Kim Guldstrand Larsen, Arne Skou: Generality in Design and Compositional Verification Using TAV. Formal Methods in System Design 6(3): 239-258 (1995) | |
| 1992 | ||
| 1 | Anders Børjesson, Kim Guldstrand Larsen, Arne Skou: Generality in design and compositional verification using TAV. FORTE 1992: 449-464 | |
| 1 | Kim Guldstrand Larsen | [1] [2] |
| 2 | Arne Skou | [1] [2] |