Multi-terminal decision diagrams: a data structure for numerical integration

C Baier, H. Hermanns, Joost P. Katoen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publication1st FLOC Workshop on symbolic Model Checking
    Place of PublicationTrento (Italy)
    Number of pages12
    Publication statusPublished - 1 Feb 1999


    • METIS-119607

    Cite this