@book{295610,
	author = {Sakib, Kazi.},
	title = {Verification Of Communication Protocols In Web Services: Model-checking Service Compositions},
	year = {2013},
	url = {http://file.ebook777.com/007/VerOfComProInWebSerModSerCom.pdf}
}