On the Verification of Behavioral and Probabilistic Web Services Using Transformation.

Giti Oghabi, Jamal Bentahar, Abdelghani Benharref

Browse the full ICWS paper archive.