BibTeX record conf/mbmv/GruttnerGON06

download as .bib file

@inproceedings{DBLP:conf/mbmv/GruttnerGON06,
  author    = {Kim Gr{\"{u}}ttner and
               Cornelia Grabbe and
               Frank Oppenheimer and
               Wolfgang Nebel},
  editor    = {Bernd Straube and
               Martin Freibothe},
  title     = {Modelling and Synthesis of Communication Using OSSS-Channels},
  booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
               2006},
  pages     = {38--47},
  publisher = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year      = {2006},
  timestamp = {Thu, 28 Jun 2012 09:23:49 +0200},
  biburl    = {https://dblp.org/rec/conf/mbmv/GruttnerGON06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics