BibTeX record conf/noms/OulaaffartBB22

download as .bib file

@inproceedings{DBLP:conf/noms/OulaaffartBB22,
  author       = {Mohamed Oulaaffart and
                  Remi Badonnel and
                  Christophe Bianco},
  title        = {An Automated SMT-based Security Framework for Supporting Migrations
                  in Cloud Composite Services},
  booktitle    = {2022 {IEEE/IFIP} Network Operations and Management Symposium, {NOMS}
                  2022, Budapest, Hungary, April 25-29, 2022},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/NOMS54207.2022.9789768},
  doi          = {10.1109/NOMS54207.2022.9789768},
  timestamp    = {Wed, 15 Jun 2022 16:45:20 +0200},
  biburl       = {https://dblp.org/rec/conf/noms/OulaaffartBB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics