Haiping Xu, Christopher K. Bates, Sol M. Shatz. Real-Time Model Checking for Shill Detection in Live Online Auctions. In Hamid R. Arabnia, Hassan Reza, editors, Proceedings of the 2009 International Conference on Software Engineering Research & Practice, SERP 2009, July 13-16, 2009, Las Vegas Nevada, USA, 2 Volumes. pages 134-140, CSREA Press, 2009.
Abstract is missing.