%0 Journal Article %1 journals/jlp/BaldoniBMP07 %A Baldoni, Matteo %A Baroglio, Cristina %A Martelli, Alberto %A Patti, Viviana %D 2007 %J J. Log. Algebraic Methods Program. %K dblp %N 1 %P 53-73 %T Reasoning about interaction protocols for customizing web service selection and composition. %U http://dblp.uni-trier.de/db/journals/jlp/jlp70.html#BaldoniBMP07 %V 70

@article{journals/jlp/BaldoniBMP07, added-at = {2021-02-16T00:00:00.000+0100}, author = {Baldoni, Matteo and Baroglio, Cristina and Martelli, Alberto and Patti, Viviana}, biburl = {https://www.bibsonomy.org/bibtex/21bdaaf886d5cdcb690a1db1b5a059c36/dblp}, ee = {https://doi.org/10.1016/j.jlap.2006.05.005}, interhash = {8b671a700c93735f8d8339d8feb130f8}, intrahash = {1bdaaf886d5cdcb690a1db1b5a059c36}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = 1, pages = {53-73}, timestamp = {2024-04-08T10:50:29.000+0200}, title = {Reasoning about interaction protocols for customizing web service selection and composition.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp70.html#BaldoniBMP07}, volume = 70, year = 2007 }