BibTeX record conf/mbmv/SchmittJWH16

download as .bib file

@inproceedings{DBLP:conf/mbmv/SchmittJWH16,
  author    = {Carsten Schmitt and
               Christoph J{\"{a}}schke and
               Claudia Wolkober and
               Ulla Herter},
  title     = {Connecting a {C++} based Structural Verification Tool to the Web},
  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     = {22--32},
  year      = {2016},
  crossref  = {DBLP:conf/mbmv/2016},
  url       = {https://doi.org/10.6094/UNIFR/10635},
  doi       = {10.6094/UNIFR/10635},
  timestamp = {Thu, 11 Jul 2019 15:14:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/SchmittJWH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Thu, 11 Jul 2019 15:14:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics