Thesis
- 1 results
Search results
-
An experimental study of algorithms and optimisations for parity games, with an application to Boolean Equation Systems
Keiren, J. J. A. (Author), Willemse, T. A. C. (Supervisor 1), 31 Aug 2009Student thesis: Master
File