BibTeX record conf/mbmv/GesellBS14

download as .bib file

@inproceedings{DBLP:conf/mbmv/GesellBS14,
  author    = {Manuel Gesell and
               Felipe Bichued and
               Klaus Schneider},
  title     = {Using Different Representations of Synchronous Systems in {SAL}},
  booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany},
  pages     = {13--24},
  year      = {2014},
  crossref  = {DBLP:conf/mbmv/2014},
  timestamp = {Mon, 22 Dec 2014 14:25:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/GesellBS14},
  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