Model Checking Games (0)

by E 2002b Grädel
Venue:In Proceedings of WOLLIC 02. Electronic Notes in Theoretical Computer Science