@article{SellamiKK13,
  author    = {Wael Sellami and
               Hatem Hadj Kacem and
               Ahmed Hadj Kacem},
  title     = {{A Formal Approach for the Validation of Web Service Orchestrations}},
  journal   = {International Journal of Web Portals (IJWP)},
  volume    = {5},
  number    = {1},
  year      = {2013},
  pages     = {41-54},
  doi        = {10.4018/jwp.2013010104},
}