A Framework for the composition and formal verification of adaptable semantic Web services.

Rihab Ben Lamine, Raoudha Ben Djemaa, Ikram Amous

Browse the full MOMM paper archive.