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]
@inproceedings{NabiN09,
title = {A Formal Model for English Auction Protocol},
author = {Munira G. Nabi and Aamer Nadeem},
year = {2009},
doi = {10.1109/SERA.2009.37},
url = {http://doi.ieeecomputersociety.org/10.1109/SERA.2009.37},
tags = {protocol},
researchr = {https://researchr.org/publication/NabiN09},
cites = {0},
citedby = {0},
pages = {119-126},
booktitle = {Proceedings of the Seventh ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2009, Haikou, China, 2-4 December 2009},
editor = {Roger Y. Lee and Wencai Du and Haeng-Kon Kim and Shaochun Xu},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3903-4},
}