![](/img/cover-not-exists.png)
Symbolic model checking composite Web services using operational and control behaviors
Bentahar, Jamal, Yahyaoui, Hamdi, Kova, Melissa, Maamar, ZakariaVolume:
40
Language:
english
Journal:
Expert Systems with Applications
DOI:
10.1016/j.eswa.2012.07.069
Date:
February, 2013
File:
PDF, 1.09 MB
english, 2013