@inproceedings{ICEIS-ISAS-2006-ChengX,
	author        = "Yi-Tsung Cheng and Haiping Xu",
	booktitle     = "{Proceedings of the Eighth International Conference on Enterprise Information Systems: Information Systems Analysis and Specification}",
	isbn          = "972-8865-41-4",
	pages         = "375--381",
	title         = "{A Formal Approach to Detecting Shilling Behaviors in Concurrent Online Auctions}",
	year          = 2006,
}