Abstract
| Date of Award | 31 Aug 2009 |
|---|---|
| Original language | English |
| Supervisor | Tim A.C. Willemse (Supervisor 1) |
Cite this
An experimental study of algorithms and optimisations for parity games, with an application to Boolean Equation Systems
Keiren, J. J. A. (Author). 31 Aug 2009
Student thesis: Master