BibTeX record conf/icsoft/HlaouiAA18

download as .bib file

@inproceedings{DBLP:conf/icsoft/HlaouiAA18,
  author       = {Yousra Bendaly Hlaoui and
                  Salma Ayari and
                  Leila Jemni Ben Ayed},
  editor       = {Marten van Sinderen and
                  Leszek A. Maciaszek},
  title        = {Towards an Automatic Verification of {BPMN} Model Semantic Preservation
                  During a Refinement Process},
  booktitle    = {Software Technologies - 13th International Conference, {ICSOFT} 2018,
                  Porto, Portugal, July 26-28, 2018, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1077},
  pages        = {397--420},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-29157-0\_18},
  doi          = {10.1007/978-3-030-29157-0\_18},
  timestamp    = {Thu, 15 Aug 2019 11:13:39 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/HlaouiAA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.