Difference Decision Diagrams

Jesper Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Computer Science Logic (LNCS 1683)
Publisher	Springer Verlag
Publication date	1999
Publication status	Published - 1999
Event	8th Annual Conference of the European Association for Computer Science Logic - Madrid, Spain Duration: 20 Sept 1999 → 25 Sept 1999

Conference	8th Annual Conference of the European Association for Computer Science Logic
Country/Territory	Spain
City	Madrid
Period	20/09/1999 → 25/09/1999

OpenUrl availability

@inproceedings{50cbe20050ff49b08e5c5db1c4148437,

title = "Difference Decision Diagrams",

author = "Jesper M{\o}ller and Jakob Lichtenberg and Andersen, {Henrik Reif} and Henrik Hulgaard",

year = "1999",

language = "English",

booktitle = "Computer Science Logic (LNCS 1683)",

publisher = "Springer Verlag",

address = "Germany",

note = "8th Annual Conference of the European Association for Computer Science Logic ; Conference date: 20-09-1999 Through 25-09-1999",

}

TY - GEN

T1 - Difference Decision Diagrams

AU - Møller, Jesper

AU - Lichtenberg, Jakob

AU - Andersen, Henrik Reif

AU - Hulgaard, Henrik

PY - 1999

Y1 - 1999

M3 - Article in proceedings

BT - Computer Science Logic (LNCS 1683)

PB - Springer Verlag

T2 - 8th Annual Conference of the European Association for Computer Science Logic

Y2 - 20 September 1999 through 25 September 1999

ER -