Conference Papers
Year : 2012
Anne-Gwenn Bosser : Connect in order to contact the contributor
https://hal.inria.fr/hal-03475099
Submitted on : Friday, December 10, 2021-3:57:40 PM
Last modification on : Tuesday, April 19, 2022-11:04:02 AM
Cite
Anne-Gwenn Bosser, Haiyun Tian, Phillip Brooke. Behaviour-Based Cheat Detection in Multiplayer Games with Event-B. International Conference on Integrated Formal Methods, IFM 2012, Jun 2012, Pisa, Italy. pp.206-220, ⟨10.1007/978-3-642-30729-4_15⟩. ⟨hal-03475099⟩
11
View
0
Download