BibTeX record conf/icws/AbbassiGBKH15

• > Home > conf/icws/AbbassiGBKH15

@inproceedings{DBLP:conf/icws/AbbassiGBKH15,
  author       = {Imed Abbassi and
                  Mohamed Graiet and
                  Souha Boubaker and
                  Mourad Kmimech and
                  Nejib Ben Hadj{-}Alouane},
  editor       = {John A. Miller and
                  Hong Zhu},
  title        = {A Formal Approach for Verifying QoS Variability in Web Services Composition
                  Using {EVENT-B}},
  booktitle    = {2015 {IEEE} International Conference on Web Services, {ICWS} 2015,
                  New York, NY, USA, June 27 - July 2, 2015},
  pages        = {519--526},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICWS.2015.75},
  doi          = {10.1109/ICWS.2015.75},
  timestamp    = {Thu, 11 Apr 2024 20:25:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icws/AbbassiGBKH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}