Jørn Lind-Nielsen

Method and apparatus for analyzing a model system based on states.

Kim Guldstrand Larsen, Gerd Behrmann, Henrik Reif Andersen, 1999 .

Practical verification of embedded software

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

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

Kim G. Larsen, Gerd Behrmann, Henrik Reif Andersen, 1998, TACAS.

Stepwise CTL Model Checking of State/Event Systems

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

Verification of Hierarchical State/Event Systems using Reusability and Compositionality

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

BuDDy : A binary decision diagram package.

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

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.

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

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

Verification of Hierarchical State/Event Systems Using Reusability and Compositionality

Kim G. Larsen, Gerd Behrmann, Henrik Reif Andersen, 1999, TACAS.