Model Checking Bidding Behaviors in Internet Concurrent Auctions (2007)

by Haiping Xu , Yi-tsung Cheng
Venue:International Journal of Computer Systems Science & Engineering (IJCSSE), July 2007
Citations:13 - 11 self