BibTeX record conf/iiwas/GraietMKBG10

• > Home > conf/iiwas/GraietMKBG10

@inproceedings{DBLP:conf/iiwas/GraietMKBG10,
  author       = {Mohamed Graiet and
                  Raoudha Maraoui and
                  Mourad Kmimech and
                  Mohamed Tahar Bhiri and
                  Walid Gaaloul},
  editor       = {Gabriele Kotsis and
                  David Taniar and
                  Eric Pardede and
                  Imad Saleh and
                  Ismail Khalil},
  title        = {Towards an approach of formal verification of mediation protocol based
                  on web services},
  booktitle    = {iiWAS'2010 - The 12th International Conference on Information Integration
                  and Web-based Applications and Services, 8-10 November 2010, Paris,
                  France},
  pages        = {75--82},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1967486.1967502},
  doi          = {10.1145/1967486.1967502},
  timestamp    = {Sun, 02 Oct 2022 16:08:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iiwas/GraietMKBG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}