%0 Journal Article %1 journals/jocs/HammalSAM20 %A Hammal, Youcef %A Salah-Mansour, Khadidja %A Abdelli, Abdelkrim %A Mokdad, Lynda %D 2020 %J J. Comput. Sci. %K dblp %P 101165 %T Formal techniques for consistency checking of orchestrations of semantic Web services. %U http://dblp.uni-trier.de/db/journals/jocs/jocs44.html#HammalSAM20 %V 44

@article{journals/jocs/HammalSAM20, added-at = {2020-12-29T00:00:00.000+0100}, author = {Hammal, Youcef and Salah-Mansour, Khadidja and Abdelli, Abdelkrim and Mokdad, Lynda}, biburl = {https://www.bibsonomy.org/bibtex/24021f79590345a7be473b9dca2f92969/dblp}, ee = {https://doi.org/10.1016/j.jocs.2020.101165}, interhash = {37125ae16e55fc26c5bdff4f6ff8a3a1}, intrahash = {4021f79590345a7be473b9dca2f92969}, journal = {J. Comput. Sci.}, keywords = {dblp}, pages = 101165, timestamp = {2024-04-09T00:48:54.000+0200}, title = {Formal techniques for consistency checking of orchestrations of semantic Web services.}, url = {http://dblp.uni-trier.de/db/journals/jocs/jocs44.html#HammalSAM20}, volume = 44, year = 2020 }