%0 Conference Paper %1 conf/services/ShengYMJL09 %A Sheng, Quan Z. %A Yu, Jian %A Maamar, Zakaria %A Jiang, Wei %A Li, Xitong %B SERVICES I %D 2009 %I IEEE Computer Society %K dblp %P 821-828 %T Compatibility Checking of Heterogeneous Web Service Policies Using VDM++. %U http://dblp.uni-trier.de/db/conf/services/services2009-1.html#ShengYMJL09 %@ 978-0-7695-3708-5

@inproceedings{conf/services/ShengYMJL09, added-at = {2014-11-27T00:00:00.000+0100}, author = {Sheng, Quan Z. and Yu, Jian and Maamar, Zakaria and Jiang, Wei and Li, Xitong}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22e8d53a8eb7cd23715b0926ac399c545/dblp}, booktitle = {SERVICES I}, crossref = {conf/services/2009-1}, ee = {http://doi.ieeecomputersociety.org/10.1109/SERVICES-I.2009.87}, interhash = {89544b402c5a20d016474164e01e426f}, intrahash = {2e8d53a8eb7cd23715b0926ac399c545}, isbn = {978-0-7695-3708-5}, keywords = {dblp}, pages = {821-828}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T16:29:17.000+0100}, title = {Compatibility Checking of Heterogeneous Web Service Policies Using VDM++.}, url = {http://dblp.uni-trier.de/db/conf/services/services2009-1.html#ShengYMJL09}, year = 2009 }