Reductions for parity games and model checking

Thomas Sebastiaan Neele

Formal System Analysis

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

375 Downloads (Pure)

1 results
- Title(descending)
- Award date

IPA Dissertation Award 2020
Neele, Thomas (Recipient), 6 Jul 2021
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific