Model Checking Games (2002)

by E Grädel
Venue:Proceedings of WOLLIC 02