Reductions for parity games and model checking

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

234 Downloads (Pure)
Originele taal-2Engels
KwalificatieDoctor in de Filosofie
Toekennende instantie
  • Mathematics and Computer Science
Begeleider(s)/adviseur
  • Willemse, Tim A.C., Promotor
  • Groote, Jan Friso, Promotor
Datum van toekenning16 sep 2020
Plaats van publicatieEindhoven
Uitgever
Gedrukte ISBN's978-90-386-5089-0
StatusGepubliceerd - 16 sep 2020

Bibliografische nota

Proefschrift.

Citeer dit