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]
@inproceedings{GuermoucheG09-0, title = {Timed Model Checking Based Approach for Web Services Analysis}, author = {Nawal Guermouche and Claude Godart}, year = {2009}, doi = {10.1109/ICWS.2009.42}, url = {http://dx.doi.org/10.1109/ICWS.2009.42}, tags = {rule-based, model checking, meta-model, web service, analysis, web services, Meta-Environment, systematic-approach}, researchr = {https://researchr.org/publication/GuermoucheG09-0}, cites = {0}, citedby = {0}, pages = {213-221}, booktitle = {IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009}, publisher = {IEEE}, }