A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV.

Melissa Kova Jamal Bentahar Zakaria Maamar Hamdi Yahyaoui A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV. 245-261 2009 SoMeT http://dx.doi.org/10.3233/978-1-60750-049-0-245 conf/somet/2009 db/conf/somet/somet2009.html#KovaBMY09