| |
| 1997 | ||
|---|---|---|
| 4 | EE | Kim Ritter Wagner: Liminf Convergence in Omega-Categories. Theor. Comput. Sci. 184(1-2): 61-104 (1997) |
| 1994 | ||
| 3 | Kim Ritter Wagner: Abstract Pre-Orders. TACS 1994: 598-617 | |
| 1989 | ||
| 2 | Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George: The RAISE Language, Method and Tools. Formal Asp. Comput. 1(1): 85-114 (1989) | |
| 1988 | ||
| 1 | Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George: The RAISE Language, Method and Tools. VDM Europe 1988: 376-405 | |
| 1 | Chris George | [1] [2] |
| 2 | Klaus Havelund | [1] [2] |
| 3 | Mogens Nielsen | [1] [2] |