Reductions for parity games and model checking

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

787 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	16 sep. 2020
Plaats van publicatie	Eindhoven
Uitgever	Technische Universiteit Eindhoven
Gedrukte ISBN's	978-90-386-5089-0
Status	Gepubliceerd - 16 sep. 2020

Proefschrift.

Toegang tot document

IPA Dissertation Award 2020
Neele, T. (Ontvanger), 6 jul. 2021
Prijs: Anders › Werk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.) › Wetenschappelijk

@phdthesis{9d994bb55df347cab33bed322a73d7cd,

title = "Reductions for parity games and model checking",

author = "Neele, {Thomas Sebastiaan}",

note = "Proefschrift.",

year = "2020",

month = sep,

day = "16",

language = "English",

isbn = "978-90-386-5089-0",

series = "IPA Dissertation Series",

publisher = "Technische Universiteit Eindhoven",

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

school = "Mathematics and Computer Science",

}