External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Model Checking Single Web Services using Markov Chains and MDPs

Giti Oghabi, Jamal Bentahar, Abdelghani Benharref. Model Checking Single Web Services using Markov Chains and MDPs. In Hamido Fujita, Tatiana Gavrilova, editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Tenth SoMeT '11, Saint Petersburg, Russia, 28-30 September, 2011. Volume 231 of Frontiers in Artificial Intelligence and Applications, pages 20-37, IOS Press, 2011. [doi]

Authors

Giti Oghabi

This author has not been identified. Look up 'Giti Oghabi' in Google

Jamal Bentahar

This author has not been identified. Look up 'Jamal Bentahar' in Google

Abdelghani Benharref

This author has not been identified. Look up 'Abdelghani Benharref' in Google
runs on