D
IPARTIMENTO DI
I
NFORMATICA
Università di Torino
Publications
M
. 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. (
PDF
)
[
Group's HOME
] [
Department's HOME
]
If you are interested in papers which are not available, please, contact directly the author(s).