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)

    Onderzoeksoutput: ScriptieEngD Thesis

    Originele taal-2Engels
    KwalificatieDoctor in de Filosofie
    Toekennende instantie
    Begeleider(s)/adviseur
    • Jóźwiak, Lech, Begeleider
    • Stevens, M.P.J., Begeleider
    Datum van toekenning1 jan. 1992
    Plaats van publicatieEindhoven
    Uitgever
    Gedrukte ISBN's90-5282-206-9
    StatusGepubliceerd - 1992

    Bibliografische nota

    Eindverslag.

    Citeer dit