Accelerated Verification of Concurrent Systems

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

153 Downloads (Pure)

Originele taal-2	Engels
Kwalificatie	Doctor in de Filosofie
Toekennende instantie	Mathematics and Computer Science
Begeleider(s)/adviseur	Willemse, Tim A.C., Promotor Groote, Jan Friso, Promotor
Datum van toekenning	22 nov. 2022
Plaats van publicatie	Eindhoven
Uitgever	Eindhoven University of Technology
Gedrukte ISBN's	978-90-386-5591-8
Status	Gepubliceerd - 22 nov. 2022

Proefschrift.

Toegang tot document

@phdthesis{8d687f8e27c24ef49548602314fe6441,

title = "Accelerated Verification of Concurrent Systems",

author = "Maurice Laveaux",

note = "Proefschrift.",

year = "2022",

month = nov,

day = "22",

language = "English",

isbn = "978-90-386-5591-8",

series = "IPA Dissertation Series",

publisher = "Eindhoven University of Technology",

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

school = "Mathematics and Computer Science",

}