Verification of interconnects

Sebastiaan Joosten

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

235 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of 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

Joosten, S. (2016). Verification of interconnects. Technische Universiteit Eindhoven.