Università di Torino
. Baldoni, C. Baroglio, A. Martelli, and V. Patti.
Reasoning about interaction protocols for customizing web service selection and composition
Journal of Logic and Algebraic Programming, special issue on Web Services and Formal Methods
, 70(1):53-73, January 2007. (
If you are interested in papers which are not available, please, contact directly the author(s).