BibTeX record conf/mesa/BenederGHR14

download as .bib file

@inproceedings{DBLP:conf/mesa/BenederGHR14,
  author       = {Roman Beneder and
                  Bernd Glatz and
                  Martin Horauer and
                  Thomas Rauscher},
  title        = {Runtime verification infrastructure for Embedded Linux},
  booktitle    = {10th {IEEE/ASME} International Conference on Mechatronic and Embedded
                  Systems and Applications, {MESA} 2014, Senigallia, Italy, September
                  10-12, 2014},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/MESA.2014.6935532},
  doi          = {10.1109/MESA.2014.6935532},
  timestamp    = {Fri, 13 Aug 2021 16:13:40 +0200},
  biburl       = {https://dblp.org/rec/conf/mesa/BenederGHR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}