Rapport
(Rapport De Recherche)
Année : 2008
Nawal Guermouche : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00366404
Soumis le : vendredi 6 mars 2009-17:38:04
Dernière modification le : vendredi 24 mars 2023-14:52:51
Dates et versions
Identifiants
- HAL Id : inria-00366404 , version 1
Citer
Nawal Guermouche, Claude Godart. Timed Model Checking Based Approach for Compatibility Analysis of Synchronous Web Services. [Research Report] 2008. ⟨inria-00366404⟩
43
Consultations
0
Téléchargements