Jørn Lind-Nielsen
发表
Kim Guldstrand Larsen,
Gerd Behrmann,
Henrik Reif Andersen,
1999
.
Kim G. Larsen,
Arne Skou,
Gerd Behrmann,
2000,
Computer.
Kim G. Larsen,
Gerd Behrmann,
Henrik Reif Andersen,
1998,
TACAS.
Henrik Reif Andersen,
Jørn Lind-Nielsen,
H. Andersen,
1999,
CAV.
Kim G. Larsen,
Gerd Behrmann,
Henrik Reif Andersen,
1999,
Formal Methods Syst. Des..
Jørn Lind-Nielsen,
Jørn Lind-Nielsen,
1999
.
Henrik Reif Andersen,
Jørn Lind-Nielsen,
H. Andersen,
1999,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Gerd Behrmann,
Henrik Reif Andersen,
1998,
Formal Methods Syst. Des..
Kim G. Larsen,
Gerd Behrmann,
Henrik Reif Andersen,
1999,
TACAS.