BibTeX record conf/mbees/MiliusGPMLSHZ12

• > Home > conf/mbees/MiliusGPMLSHZ12

@inproceedings{DBLP:conf/mbees/MiliusGPMLSHZ12,
  author       = {Stefan Milius and
                  Henning G{\"{u}}nther and
                  Jan Peleska and
                  Oliver M{\"{o}}ller and
                  Helge L{\"{o}}ding and
                  Martin Sulzmann and
                  Ramin Hedayati and
                  Axel Zechner},
  editor       = {Holger Giese and
                  Michaela Huhn and
                  Jan Phillips and
                  Bernhard Sch{\"{a}}tz},
  title        = {A framework for formal verification of systems of synchronous components},
  booktitle    = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
                  Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte
                  Entwicklung eingebetteter Systeme},
  pages        = {145--154},
  publisher    = {fortiss GmbH, M{\"{u}}nchen},
  year         = {2012},
  timestamp    = {Thu, 12 Mar 2020 11:39:37 +0100},
  biburl       = {https://dblp.org/rec/conf/mbees/MiliusGPMLSHZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}