A Formal Approach to Detecting Shilling Behaviors in Concurrent Online Auctions. - Yi-Tsung Cheng; Haiping Xu (ICEIS (3), 2006)

Model checking bidding behaviors in internet concurrent auctions. - Haiping Xu; Yi-Tsung Cheng (Comput. Syst. Sci. Eng., 2007)