BibTeX record conf/mbmv/2016

download as .bib file

@proceedings{DBLP:conf/mbmv/2016,
  editor       = {Ralf Wimmer},
  title        = {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},
  publisher    = {Albert-Ludwigs-Universit{\"{a}}t Freiburg},
  year         = {2016},
  url          = {https://freidok.uni-freiburg.de/data/10617},
  isbn         = {978-3-00-052380-9},
  timestamp    = {Fri, 26 Jun 2020 16:58:03 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics