BibTeX record conf/c3s2e/DjaaboubKC15

download as .bib file

@inproceedings{DBLP:conf/c3s2e/DjaaboubKC15,
  author       = {Salim Djaaboub and
                  Elhillali Kerkouche and
                  Allaoua Chaoui},
  editor       = {Jake Yue Chen and
                  Mohammed J. Zaki and
                  Tamer Kahveci and
                  Saeed Salem and
                  Mehmet Koyut{\"{u}}rk},
  title        = {A New Approach for Generating {LOTOS} Specifications from {UML} Dynamic
                  Models},
  booktitle    = {Proceedings of the Eighth International C* Conference on Computer
                  Science {\&} Software Engineering, Yokohama, Japan, July 13-15,
                  2015},
  pages        = {138--143},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790798.2790813},
  doi          = {10.1145/2790798.2790813},
  timestamp    = {Sun, 25 Oct 2020 23:15:36 +0100},
  biburl       = {https://dblp.org/rec/conf/c3s2e/DjaaboubKC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics