BibTeX record conf/lctrts/BrandtSS10

download as .bib file

@inproceedings{DBLP:conf/lctrts/BrandtSS10,
  author    = {Jens Brandt and
               Klaus Schneider and
               Sandeep K. Shukla},
  editor    = {Jaejin Lee and
               Bruce R. Childers},
  title     = {Translating concurrent action oriented specifications to synchronous
               guarded actions},
  booktitle = {Proceedings of the {ACM} {SIGPLAN/SIGBED} 2010 conference on Languages,
               compilers, and tools for embedded systems, {LCTES} 2010, Stockholm,
               Sweden, April 13-15, 2010},
  pages     = {47--56},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1755888.1755896},
  doi       = {10.1145/1755888.1755896},
  timestamp = {Sun, 25 Jul 2021 11:50:57 +0200},
  biburl    = {https://dblp.org/rec/conf/lctrts/BrandtSS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics