Difference Decision Diagrams - Publications
The publications are listed in cronological order. A concatenated BiBTeX file is also available.
-
Jesper Møller and Jakob Lichtenberg. Difference
decision diagrams. Master's Thesis. Department of
Information Technology, Technical University of Denmark. August
1998.
Abstract,
Postscript (1.5 Mb),
Gzipped postscript (381 kb),
BiBTeX entry.
-
Jesper Møller, Jakob Lichtenberg, Henrik R. Andersen, and
Henrik Hulgaard. Difference decision diagrams. Technical report
IT-TR-1999-023, Department of Information Technology, Technical
University of Denmark. February 1999.
Abstract,
Postscript (228kb),
Gzipped postscript (67 kb),
BiBTeX entry.
-
Jesper Møller, Jakob Lichtenberg, Henrik R. Andersen, and
Henrik Hulgaard. On the symbolic verification of timed
systems. Technical report IT-TR-1999-024, Department of
Information Technology, Technical University of Denmark. February 1999.
Abstract,
Postscript (214 kb),
Gzipped postscript (77 kb),
BiBTeX entry.
- Jesper Møller, Jakob Lichtenberg, Henrik R. Andersen,
and Henrik Hulgaard.
Fully symbolic model checking of timed systems using difference
decision diagrams.
In proceedings Workshop on Symbolic Model Checking (SMC),
Federated Logic Conference (FLoC), July 6th 1999. Trento, Italy.
Abstract,
Postscript (775 kb),
Gzipped postscript (158 kb),
BiBTeX entry.
-
Jesper Møller, Jakob Lichtenberg, Henrik R. Andersen, and
Henrik Hulgaard.
Difference Decision Diagrams.
In proceedings Annual Conference of the European Association for
Computer Science Logic (CSL), September 20-25 1999. Madrid,
Spain.
Abstract,
Postscript (234 kb),
Gzipped Postscript (68 kb).
BiBTeX entry.
