@conference {9047,
	title = {Message Race Detection for Web Services by an SMT-Based Analysis},
	booktitle = {The 7th International Conference on Autonomic and Trusted Computing (ACT 2010)},
	year = {2010},
	month = {2010},
	address = {Xian, China},
	author = {M. Elwakil and Z. Yang and L. Wang and Q. Chen}
}
