An Experimental Study of Algorithms and Optimisations for Parity Games, with an Application to Boolean Equation Systems. Keiren, J. J. A. July 2009.
bibtex   
@mscthesis{experimental_2009,
  type = {MSc thesis},
  title = {An Experimental Study of Algorithms and Optimisations for Parity 
  Games, with an Application to Boolean Equation Systems},
  school = {Eindhoven University of Technology},
  author = {Keiren, J. J. A.},
  month = jul,
  year = {2009}
}

Downloads: 0