An experimental study of algorithms and optimisations for parity games, with an application to Boolean Equation Systems

Scriptie/Masterproef: Master

Datum prijs31 aug. 2009
Originele taalEngels
BegeleiderTim A.C. Willemse (Afstudeerdocent 1)

Citeer dit

Documenten

  • full text

    Bestand: application/pdf, 881 KB

    Type: Scriptie

'