Munira G. Nabi, Aamer Nadeem. A Formal Model for English Auction Protocol. In Roger Y. Lee, Wencai Du, Haeng-Kon Kim, Shaochun Xu, editors, Proceedings of the Seventh ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2009, Haikou, China, 2-4 December 2009. pages 119-126, IEEE Computer Society, 2009. [doi]
Abstract is missing.