A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV. - Melissa Kova; Jamal Bentahar; Zakaria Maamar; Hamdi Yahyaoui (SoMeT, 2009)

Symbolic model checking composite Web services using operational and control behaviors. - Jamal Bentahar; Hamdi Yahyaoui; Melissa Kova; Zakaria Maamar (Expert Syst. Appl., 2013)