BibTeX record conf/mbmv/BrandtS11

download as .bib file

@inproceedings{DBLP:conf/mbmv/BrandtS11,
  author       = {Jens Brandt and
                  Klaus Schneider},
  editor       = {Frank Oppenheimer},
  title        = {Round Trip to Asynchrony and Synchrony},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February
                  21-23, 2011},
  pages        = {239--248},
  publisher    = {OFFIS-Institut f{\"{u}}r Informatik},
  year         = {2011},
  timestamp    = {Thu, 14 Mar 2019 18:02:25 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/BrandtS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics