BibTeX record conf/cbse/BarnatBCP13

download as .bib file

@inproceedings{DBLP:conf/cbse/BarnatBCP13,
  author    = {Jiri Barnat and
               Nikola Benes and
               Ivana Cern{\'{a}} and
               Zuzana Petruchov{\'{a}}},
  editor    = {Philippe Kruchten and
               Dimitra Giannakopoulou and
               Massimo Tivoli},
  title     = {{DCCL:} verification of component systems with ensembles},
  booktitle = {CBSE'13, Proceedings of the 16th {ACM} {SIGSOFT} Symposium on Component
               Based Software Engineering, part of Comparch '13, Vancouver, BC, Canada,
               June 17-21, 2013},
  pages     = {43--52},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2465449.2465453},
  doi       = {10.1145/2465449.2465453},
  timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
  biburl    = {https://dblp.org/rec/conf/cbse/BarnatBCP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics