| |
| 1994 | ||
|---|---|---|
| 3 | Jesper Gørtz: Specifying Safety and Progress Properties with RSL. FME 1994: 567-581 | |
| 1993 | ||
| 2 | Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau: Experience from Applications of RAISE. FME 1993: 52-63 | |
| 1991 | ||
| 1 | D. L. Chalmers, Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau: Using RAISE - First Impressions from the LaCoS Applications. VDM Europe (1) 1991: 645-657 | |
| 1 | D. L. Chalmers | [1] |
| 2 | Bent Dandanell | [1] [2] |
| 3 | Jan Storbank Pedersen | [1] [2] |
| 4 | Eld Zierau | [1] [2] |