Formal techniques for consistency checking of orchestrations of semantic Web services - Archive ouverte HAL Access content directly
Journal Articles Journal of computational science Year : 2020
Not 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
0 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More