"On-the-Fly Techniques for Game-Based Software Model Checking."

Adam Bakewell, Dan R. Ghica (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics