Timed Model Checking Based Approach for Web Services Analysis

Nawal Guermouche, Claude Godart. Timed Model Checking Based Approach for Web Services Analysis. In IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009. pages 213-221, IEEE, 2009. [doi]

Abstract

Abstract is missing.