Verification of interconnects

Sebastiaan Joosten

    Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

    446 Downloads (Pure)
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • Mathematics and Computer Science
    Supervisors/Advisors
    • van Eekelen, Marko, Promotor
    • Groote, Jan Friso, Promotor
    • Schmaltz, Julien, Copromotor
    Award date24 Feb 2016
    Place of PublicationEindhoven
    Publisher
    Print ISBNs978-90-386-4029-7
    Publication statusPublished - 24 Feb 2016

    Bibliographical note

    Proefschrift

    Cite this