Author:
Alberti Marco,Chesani Federico,Gavanelli Marco,Lamma Evelina,Mello Paola,Montali Marco,Torroni Paolo
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. http://www.w3.org/Submission/SWSF-SWSL
2. OWL-S,
http://www.daml.org/services/owl-s
3. Lecture Notes in Computer Science,2005
4. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M.: An abductive framework for a-priori verification of web services. In: PPDP (2006)
5. Lecture Notes in Computer Science;M. Alberti,2006