Design of a verification tool for complex system design

P.W. Kuppens, Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Information and Communication Technology (ICT)

    Research output: ThesisPd Eng Thesis

    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    Supervisors/Advisors
    • Stevens, M.P.J., Supervisor
    • Voeten, Jeroen P.M., Supervisor
    • van der Putten, Piet, Supervisor
    Award date1 Jan 1996
    Place of PublicationEindhoven
    Publisher
    Print ISBNs90-5282-668-4
    Publication statusPublished - 1996

    Bibliographical note

    Eindverslag.

    Cite this

    Kuppens, P. W., & Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Information and Communication Technology (ICT) (1996). Design of a verification tool for complex system design. Technische Universiteit Eindhoven.