Verification of interconnects

Sebastiaan Joosten

Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

452 Downloads (Pure)

Originele taal-2	Engels
Kwalificatie	Doctor in de Filosofie
Toekennende instantie	Mathematics and Computer Science
Begeleider(s)/adviseur	van Eekelen, Marko, Promotor Groote, Jan Friso, Promotor Schmaltz, Julien, Co-Promotor
Datum van toekenning	24 feb. 2016
Plaats van publicatie	Eindhoven
Uitgever	Technische Universiteit Eindhoven
Gedrukte ISBN's	978-90-386-4029-7
Status	Gepubliceerd - 24 feb. 2016

Proefschrift

Toegang tot document

@phdthesis{86f70c5496444e0b862ce900bac4e13a,

title = "Verification of interconnects",

author = "Sebastiaan Joosten",

note = "Proefschrift",

year = "2016",

month = feb,

day = "24",

language = "English",

isbn = "978-90-386-4029-7",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}