Local model checking games (1995)

by Colin Stirling
Venue:In Proceedings of the 6th International Conference on Concurrency Theory (CONCUR’95), volume 962 of LNCS