BibTeX record conf/models/PiresPWD13

download as .bib file

@inproceedings{DBLP:conf/models/PiresPWD13,
  author    = {Anthony Fernandes Pires and
               Thomas Polacsek and
               Virginie Wiels and
               St{\'{e}}phane Duprat},
  editor    = {Ana Moreira and
               Bernhard Sch{\"{a}}tz and
               Jeff Gray and
               Antonio Vallecillo and
               Peter J. Clarke},
  title     = {Behavioural Verification in Embedded Software, from Model to Source
               Code},
  booktitle = {Model-Driven Engineering Languages and Systems - 16th International
               Conference, {MODELS} 2013, Miami, FL, USA, September 29 - October
               4, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8107},
  pages     = {320--335},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-41533-3\_20},
  doi       = {10.1007/978-3-642-41533-3\_20},
  timestamp = {Mon, 21 Jun 2021 12:26:18 +0200},
  biburl    = {https://dblp.org/rec/conf/models/PiresPWD13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics