Model Checking Single Web Services using Markov Chains and MDPs.

Giti Oghabi, Jamal Bentahar, Abdelghani Benharref

Browse the full SoMeT paper archive.