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]
Abstract is missing.