@inproceedings{LPT07:WWV,
author = {A.~Lapadula and R.~Pugliese and F.~Tiezzi},
title = {Service discovery and negotiation with {COWS}},
booktitle = {Proc. of 3rd International Workshop on Automated Specification
and Verification of Web Systems (WWV'07)},
publisher = {Elsevier},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {133-154},
year = {2008},
}