 | 2002 |
|---|
| 5 |       | Jesper B. Møller:
DDDLIB: A Library for Solving Quantified Difference Inequalities.
CADE 2002: 129-133 |
| 4 | | Jesper B. Møller,
Henrik Hulgaard,
Henrik Reif Andersen:
Timed Verification of Asynchronous Circuits.
Concurrency and Hardware Design 2002: 274-312 |
| 3 | | Jesper B. Møller,
Henrik Hulgaard,
Henrik Reif Andersen:
Symbolic model checking of timed guarded commands using difference decision diagrams.
J. Log. Algebr. Program. 52-53: 53-77 (2002) |
| 1999 |
|---|
| 2 | | Jesper B. Møller,
Jakob Lichtenberg,
Henrik Reif Andersen,
Henrik Hulgaard:
Difference Decision Diagrams.
CSL 1999: 111-125 |
| 1 | | Jesper B. Møller,
Jakob Lichtenberg,
Henrik Reif Andersen,
Henrik Hulgaard:
Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams.
Electr. Notes Theor. Comput. Sci. 23(2): (1999) |
