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