%0 Journal Article %1 journals/ijwp/SellamiKK13 %A Sellami, Wael %A Kacem, Hatem Hadj %A Kacem, Ahmed Hadj %D 2013 %J Int. J. Web Portals %K dblp %N 1 %P 41-54 %T A Formal Approach for the Validation of Web Service Orchestrations. %U http://dblp.uni-trier.de/db/journals/ijwp/ijwp5.html#SellamiKK13 %V 5

@article{journals/ijwp/SellamiKK13, added-at = {2022-04-09T00:00:00.000+0200}, author = {Sellami, Wael and Kacem, Hatem Hadj and Kacem, Ahmed Hadj}, biburl = {https://www.bibsonomy.org/bibtex/25c31f40fbfd7ee4e55495d471a620b95/dblp}, ee = {https://doi.org/10.4018/jwp.2013010104}, interhash = {c993af4a1e853fc9dbeff33514330001}, intrahash = {5c31f40fbfd7ee4e55495d471a620b95}, journal = {Int. J. Web Portals}, keywords = {dblp}, number = 1, pages = {41-54}, timestamp = {2024-04-08T13:39:30.000+0200}, title = {A Formal Approach for the Validation of Web Service Orchestrations.}, url = {http://dblp.uni-trier.de/db/journals/ijwp/ijwp5.html#SellamiKK13}, volume = 5, year = 2013 }