%0 Journal Article %1 journals/jdcta/YinLYD10 %A Yin, Yuyu %A Li, Ying %A Yin, Jianwei %A Deng, ShuiGuang %D 2010 %J JDCTA %K dblp %N 3 %P 15-34 %T Proof as Composition: An approach for the Large-granularity Web Services Composition. %U http://dblp.uni-trier.de/db/journals/jdcta/jdcta4.html#YinLYD10 %V 4

@article{journals/jdcta/YinLYD10, added-at = {2019-09-13T00:00:00.000+0200}, author = {Yin, Yuyu and Li, Ying and Yin, Jianwei and Deng, ShuiGuang}, biburl = {https://www.bibsonomy.org/bibtex/2857467c3c26edba80e959b5aa14ab19d/dblp}, ee = {http://www.aicit.org/jdcta/ppl/Binder9_Part2.pdf}, interhash = {c2130fbadbdc640be320bbe902e7034c}, intrahash = {857467c3c26edba80e959b5aa14ab19d}, journal = {JDCTA}, keywords = {dblp}, number = 3, pages = {15-34}, timestamp = {2019-09-14T11:38:31.000+0200}, title = {Proof as Composition: An approach for the Large-granularity Web Services Composition.}, url = {http://dblp.uni-trier.de/db/journals/jdcta/jdcta4.html#YinLYD10}, volume = 4, year = 2010 }