Formal techniques for consistency checking of orchestrations of semantic Web services
Hammal, Youcef, Salah Mansour, Khadidja, Abdelli, Abdelkrim, Mokdad, LyndaVolume:
44
Journal:
Journal of Computational Science
DOI:
10.1016/j.jocs.2020.101165
Date:
July, 2020
File:
PDF, 4.57 MB
2020