BibTeX record journals/ijwis/GraietMKBG12

download as .bib file

@article{DBLP:journals/ijwis/GraietMKBG12,
  author       = {Mohamed Graiet and
                  Raoudha Maraoui and
                  Mourad Kmimech and
                  Mohamed Tahar Bhiri and
                  Walid Gaaloul},
  title        = {Towards an approach of formal verification of mediation protocol based
                  on web services of {MDE} type},
  journal      = {Int. J. Web Inf. Syst.},
  volume       = {8},
  number       = {1},
  pages        = {32--54},
  year         = {2012},
  url          = {https://doi.org/10.1108/17440081211222582},
  doi          = {10.1108/17440081211222582},
  timestamp    = {Sun, 02 Oct 2022 15:38:58 +0200},
  biburl       = {https://dblp.org/rec/journals/ijwis/GraietMKBG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics