|
Search the dblp DataBase
Kim Ritter Wagner:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George
The RAISE Language, Method and Tools. [Citation Graph (0, 0)][DBLP] VDM Europe, 1988, pp:376-405 [Conf]
- Kim Ritter Wagner
Abstract Pre-Orders. [Citation Graph (0, 0)][DBLP] TACS, 1994, pp:598-617 [Conf]
- Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George
The RAISE Language, Method and Tools. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1989, v:1, n:1, pp:85-114 [Journal]
- Kim Ritter Wagner
Liminf Convergence in Omega-Categories. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1997, v:184, n:1-2, pp:61-104 [Journal]
Search in 0.001secs, Finished in 0.001secs
|