%0 Conference Paper %1 conf/sefm/ZhuHLB07 %A Zhu, Huibiao %A He, Jifeng %A Li, Jing %A Bowen, Jonathan P. %B SEFM %D 2007 %I IEEE Computer Society %K algebraic formal methods myown semantics services web %P 315-328 %T Algebraic Approach to Linking the Semantics of Web Services. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#ZhuHLB07 %@ 978-0-7695-2884-7

@inproceedings{conf/sefm/ZhuHLB07, added-at = {2011-08-01T21:57:35.000+0200}, author = {Zhu, Huibiao and He, Jifeng and Li, Jing and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/227d02f154e42167fab421615822243e5/jpbowen}, booktitle = {SEFM}, crossref = {conf/sefm/2007}, description = {dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.4}, interhash = {8c568e91de809e01c64e4e80350e5eab}, intrahash = {27d02f154e42167fab421615822243e5}, isbn = {978-0-7695-2884-7}, keywords = {algebraic formal methods myown semantics services web}, pages = {315-328}, publisher = {IEEE Computer Society}, timestamp = {2011-08-01T21:57:35.000+0200}, title = {Algebraic Approach to Linking the Semantics of Web Services.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#ZhuHLB07}, year = 2007 }