BibTeX record conf/mbmv/BartschRVSK16

download as .bib file

@inproceedings{DBLP:conf/mbmv/BartschRVSK16,
  author       = {Christian Bartsch and
                  Nico R{\"{o}}del and
                  Carlos Villarraga and
                  Dominik Stoffel and
                  Wolfgang Kunz},
  editor       = {Ralf Wimmer},
  title        = {A HW-dependent Software Model for Cross-Layer Fault Analysis in Embedded
                  Systems},
  booktitle    = {19th {GI/ITG/GMM} Workshop Methoden und Beschreibungssprachen zur
                  Modellierung und Verifikation von Schaltungen und Systemen, {MBMV}
                  2016, Freiburg im Breisgau, Germany, March 1-2, 2016},
  pages        = {10--21},
  publisher    = {Albert-Ludwigs-Universit{\"{a}}t Freiburg},
  year         = {2016},
  url          = {https://doi.org/10.6094/UNIFR/10634},
  doi          = {10.6094/UNIFR/10634},
  timestamp    = {Wed, 31 Jan 2024 20:36:05 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/BartschRVSK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics