Tim Kempster Colin Stirling Peter Thanisch Games-Based Model Checking of Protocols: counting doesn't count. E111-E117 2000 conf/icdcsw/2000 ICDCS Workshop on Distributed System Validation and Verification db/conf/icdcsw/icdcsw2000.html#KempsterST00