BibTeX record conf/mbmv/StieberWHD14

download as .bib file

@inproceedings{DBLP:conf/mbmv/StieberWHD14,
  author    = {Sebastian Stieber and
               Johann{-}Peter Wolff and
               Christian Haubelt and
               Rainer Dorsch},
  title     = {Hybride Prototypisierung eines Sensorsubsystems},
  booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany},
  pages     = {209--212},
  year      = {2014},
  crossref  = {DBLP:conf/mbmv/2014},
  timestamp = {Thu, 13 Mar 2014 18:26:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/StieberWHD14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2014,
  editor    = {J{\"{u}}rgen Ruf and
               Dirk Allmendinger and
               Matteo Michel},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany},
  publisher = {Cuvillier},
  year      = {2014},
  timestamp = {Thu, 13 Mar 2014 18:26:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics