Margaret DeLap, Björn Knutsson, Honghui Lu, Oleg Sokolsky, Usa Sammapun, Insup Lee, Christos Tsarouchis. Is runtime verification applicable to cheat detection?. In Wu-chang Feng, editor, Proceedings of the 3rd Workshop on Network and System Support for Games, NETGAMES 2004, Portland, Oregon, USA, August 30, 2004. pages 134-138, ACM, 2004. [doi]
Abstract is missing.