K. Kristoffersen
发表
Kim G. Larsen,
Gerd Behrmann,
Henrik Reif Andersen,
1998,
Formal Methods Syst. Des..
Kare Jelling Kristoffersen,
K. Kristoffersen,
1998
.
Kim G. Larsen,
Kåre J. Kristoffersen,
J. H. Andersen,
1994,
ICALP.
Kim G. Larsen,
Arne Skou,
Gerd Behrmann,
2000,
Computer.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
TAPSOFT.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
CAV.
Wang Yi,
Kim Guldstrand Larsen,
Paul Pettersson,
2002
.
Henrik Reif Andersen,
Kåre J. Kristoffersen,
Christian Pedersen,
2003,
RV@CAV.
Kåre J. Kristoffersen,
Nicky O. Bodentien,
Jacob Vestergaard,
1999
.