BibTeX record conf/mbees/LeueW09

download as .bib file

@inproceedings{DBLP:conf/mbees/LeueW09,
  author       = {Stefan Leue and
                  Wei Wei},
  editor       = {Holger Giese and
                  Michaela Huhn and
                  Ulrich Nickel and
                  Bernhard Sch{\"{a}}tz},
  title        = {An Executable and Extensible Formal Semantics for {UML-RT}},
  booktitle    = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
                  Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte
                  Entwicklung eingebetteter Systeme},
  series       = {Informatik-Bericht},
  volume       = {2009-01},
  pages        = {182--188},
  publisher    = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
  year         = {2009},
  url          = {http://www.sse-tubs.de/mbees-dagstuhl/MBEES2009\_Proceedings\_online\_small.pdf},
  timestamp    = {Thu, 12 Mar 2020 11:39:37 +0100},
  biburl       = {https://dblp.org/rec/conf/mbees/LeueW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics