Practical Model-Checking Using Games.

Perdita Stevens, Colin Stirling

Browse the full TACAS paper archive.