BibTeX record conf/mbmv/KhadraBS14

download as .bib file

@inproceedings{DBLP:conf/mbmv/KhadraBS14,
  author    = {Mohamed Ammar {Ben Khadra} and
               Yu Bai and
               Klaus Schneider},
  title     = {Synthesis of Distributed Synchronous Specifications to SysteMoC},
  booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany},
  pages     = {71--81},
  year      = {2014},
  crossref  = {DBLP:conf/mbmv/2014},
  timestamp = {Fri, 28 Sep 2018 19:22:23 +0200},
  biburl    = {https://dblp.org/rec/conf/mbmv/KhadraBS14.bib},
  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 = {Sat, 10 Apr 2021 13:00:18 +0200},
  biburl    = {https://dblp.org/rec/conf/mbmv/2014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics