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

Formal techniques for consistency checking of orchestrations of semantic Web services

Domains

Computer Science [cs]

lynda mokdad  : Connect in order to contact the contributor

https://hal.u-pec.fr/hal-04030305

Submitted on : Wednesday, March 15, 2023-2:35:29 PM

Last modification on : Thursday, March 16, 2023-3:15:41 AM

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

LACL UPEC
18 View
0 Download

Altmetric

Share

More