Jørn Lind-Nielsen

BuDDy : A binary decision diagram package.

Jørn Lind-Nielsen, Jørn Lind-Nielsen, 1999 .

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis

Kim G. Larsen, Gerd Behrmann, Henrik Reif Andersen, 1998, Formal Methods Syst. Des..

Partial model checking of modal equations: A survey

Henrik Reif Andersen, Jørn Lind-Nielsen, H. Andersen, 1999, International Journal on Software Tools for Technology Transfer.

Practical verification of embedded software

Kim G. Larsen, Arne Skou, Gerd Behrmann, 2000, Computer.

Verification of Hierarchical State/Event Systems using Reusability and Compositionality

Kim G. Larsen, Gerd Behrmann, Henrik Reif Andersen, 1999, Formal Methods Syst. Des..

Stepwise CTL Model Checking of State/Event Systems

Henrik Reif Andersen, Jørn Lind-Nielsen, H. Andersen, 1999, CAV.