Model checking bidding behaviors in internet concurrent auctions

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

Abstract

Abstract is missing.