2002): Model checking games for branching time logics (0)

by M Lange, C Stirling
Venue:Journal of Logic and Computation