BibTeX record conf/icsoft/GharbiGKA13

download as .bib file

@inproceedings{DBLP:conf/icsoft/GharbiGKA13,
  author       = {Atef Gharbi and
                  Hamza Gharsellaoui and
                  Mohamed Khalgui and
                  Samir Ben Ahmed},
  editor       = {Jos{\'{e}} Cordeiro and
                  David A. Marca and
                  Marten van Sinderen},
  title        = {Model Checking of Distributed Component-based Control Systems},
  booktitle    = {{ICSOFT} 2013 - Proceedings of the 8th International Joint Conference
                  on Software Technologies, Reykjav{\'{\i}}k, Iceland, 29-31 July,
                  2013},
  pages        = {512--519},
  publisher    = {SciTePress},
  year         = {2013},
  url          = {https://doi.org/10.5220/0004492605120519},
  doi          = {10.5220/0004492605120519},
  timestamp    = {Thu, 14 Dec 2017 12:26:02 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/GharbiGKA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics