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:14 - 12 self