Symbolic model checking composite Web services using operational and control behaviors
- Jamal Bentahar
- , Hamdi Yahyaoui
- , Melissa Kova
- , Zakaria Maamar
Research output: Contribution to journal › Article › peer-review
44
Scopus
citations