@inproceedings{conf/edoc/WoodmanPSW04,
	title = {Notations for the Specification and Verification of Composite Web Services.},
	author = {Simon J. Woodman and Doug J. Palmer and Santosh K. Shrivastava and Stuart M. Wheater},
	booktitle = {EDOC},
	crossref = {conf/edoc/2004},
	pages = {35-46},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/edoc/edoc2004.html#WoodmanPSW04},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/2568a37c66fca0dc644b6c5c3b87e2e5b/dblp},
	description = {dblp},
	ee = {http://csdl.computer.org/comp/proceedings/edoc/2004/2214/00/22140035abs.htm}, isbn = {0-7695-2214-9}, date = {2004-12-06},
	keywords = {dblp }
}