Formal techniques for consistency checking of orchestrations of semantic Web services - Université Paris-Est-Créteil-Val-de-Marne
Journal Articles Journal of computational science Year : 2020
No file

Dates and versions

hal-04030305 , version 1 (15-03-2023)

Identifiers

Cite

Youcef Hammal, Khadidja Salah Mansour, Abdelkrim Abdelli, Lynda Mokdad. Formal techniques for consistency checking of orchestrations of semantic Web services. Journal of computational science, 2020, 44, pp.101165. ⟨10.1016/j.jocs.2020.101165⟩. ⟨hal-04030305⟩

Collections

LACL UPEC
18 View
0 Download

Altmetric

Share

More