Oink: An Implementation and Evaluation of Modern Parity Game Solvers.

Tom van Dijk

Browse the full TACAS paper archive.