On the use of OR-BDDs for logical structure modelling and fault detection

H.P.J. Mijland, Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Information and Communication Technology (ICT)

    Research output: ThesisPd Eng Thesis

    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • Jóźwiak, Lech, Supervisor
    • Stevens, M.P.J., Supervisor
    Award date1 Jan 1992
    Place of PublicationEindhoven
    Print ISBNs90-5282-206-9
    Publication statusPublished - 1992

    Bibliographical note


    Cite this