Difference Decision Diagrams. - Jesper B. Møller; Jakob Lichtenberg; Henrik Reif Andersen; Henrik Hulgaard (CSL, 1999)

Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams. - Jesper B. Møller; Jakob Lichtenberg; Henrik Reif Andersen; Henrik Hulgaard (SMC@FLoC, 1999)

Timed Verification of Asynchronous Circuits. - Jesper B. Møller; Henrik Hulgaard; Henrik Reif Andersen (Concurrency and Hardware Design, 2002)

DDDLIB: A Library for Solving Quantified Difference Inequalities. - Jesper B. Møller (CADE, 2002)

Symbolic model checking of timed guarded commands using difference decision diagrams. - Jesper B. Møller; Henrik Hulgaard; Henrik Reif Andersen (J. Log. Algebraic Methods Program., 2002)