Difference Decision Diagrams

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

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationComputer Science Logic (LNCS 1683)
    PublisherSpringer Verlag
    Publication date1999
    Publication statusPublished - 1999
    Event8th Annual Conference of the European Association for Computer Science Logic - Madrid, Spain
    Duration: 1 Jan 1999 → …

    Conference

    Conference8th Annual Conference of the European Association for Computer Science Logic
    CityMadrid, Spain
    Period01/01/1999 → …

    Cite this

    Møller, J., Lichtenberg, J., Andersen, H. R., & Hulgaard, H. (1999). Difference Decision Diagrams. In Computer Science Logic (LNCS 1683) Springer Verlag.
    Møller, Jesper ; Lichtenberg, Jakob ; Andersen, Henrik Reif ; Hulgaard, Henrik. / Difference Decision Diagrams. Computer Science Logic (LNCS 1683). Springer Verlag, 1999.
    @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",

    }

    Møller, J, Lichtenberg, J, Andersen, HR & Hulgaard, H 1999, Difference Decision Diagrams. in Computer Science Logic (LNCS 1683). Springer Verlag, 8th Annual Conference of the European Association for Computer Science Logic, Madrid, Spain, 01/01/1999.

    Difference Decision Diagrams. / Møller, Jesper; Lichtenberg, Jakob; Andersen, Henrik Reif; Hulgaard, Henrik.

    Computer Science Logic (LNCS 1683). Springer Verlag, 1999.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    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

    ER -

    Møller J, Lichtenberg J, Andersen HR, Hulgaard H. Difference Decision Diagrams. In Computer Science Logic (LNCS 1683). Springer Verlag. 1999