|
Search the dblp DataBase
Kim Dam Petersen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Flemming Andersen, Ulla Binau, Karsten Nyblad, Kim Dam Petersen, Jimmi S. Pettersson
The HOL-UNITY Verification System. [Citation Graph (0, 0)][DBLP] TAPSOFT, 1995, pp:795-796 [Conf]
- Flemming Andersen, Kim Dam Petersen
Recursive Boolean Functions in HOL. [Citation Graph (0, 0)][DBLP] TPHOLs, 1991, pp:367-377 [Conf]
- Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson
Program Verification using HOL-UNITY. [Citation Graph (0, 0)][DBLP] HUG, 1993, pp:1-15 [Conf]
- Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson
A Graphical Tool for Proving Unity Progress. [Citation Graph (0, 0)][DBLP] TPHOLs, 1994, pp:17-32 [Conf]
- Kim Dam Petersen
Graph model of LAMBDA in Higher Order Logic. [Citation Graph (0, 0)][DBLP] HUG, 1993, pp:16-28 [Conf]
Search in 0.001secs, Finished in 0.001secs
|