BibTeX record conf/IEEEscc/BoubakerGGH15

download as .bib file

@inproceedings{DBLP:conf/IEEEscc/BoubakerGGH15,
  author       = {Souha Boubaker and
                  Walid Gaaloul and
                  Mohamed Graiet and
                  Nejib Ben Hadj{-}Alouane},
  title        = {Event-B Based Approach for Verifying Cloud Resource Allocation in
                  Business Process},
  booktitle    = {2015 {IEEE} International Conference on Services Computing, {SCC}
                  2015, New York City, NY, USA, June 27 - July 2, 2015},
  pages        = {538--545},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/SCC.2015.79},
  doi          = {10.1109/SCC.2015.79},
  timestamp    = {Sun, 12 Nov 2023 02:15:48 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/BoubakerGGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics