Behaviour-Based Cheat Detection in Multiplayer Games with Event-B

HaiYun Tian, Phillip J. Brooke, Anne-Gwenn Bosser. Behaviour-Based Cheat Detection in Multiplayer Games with Event-B. In John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne, editors, Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Volume 7321 of Lecture Notes in Computer Science, pages 206-220, Springer, 2012. [doi]

Authors

HaiYun Tian

This author has not been identified. Look up 'HaiYun Tian' in Google

Phillip J. Brooke

This author has not been identified. Look up 'Phillip J. Brooke' in Google

Anne-Gwenn Bosser

This author has not been identified. Look up 'Anne-Gwenn Bosser' in Google