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