BibTeX record conf/lctrts/HenzingerHK01

download as .bib file

@inproceedings{DBLP:conf/lctrts/HenzingerHK01,
  author       = {Thomas A. Henzinger and
                  Benjamin Horowitz and
                  Christoph M. Kirsch},
  editor       = {Seongsoo Hong and
                  Santosh Pande},
  title        = {Embedded Control Systems Development with Giotto},
  booktitle    = {Proceedings of The Workshop on Languages, Compilers, and Tools for
                  Embedded Systems {(LCTES} 2001), June 22-23, 2001 / The Workshop on
                  Optimization of Middleware and Distributed Systems {(OM} 2001), June
                  18, 2001, Snowbird, Utah, {USA}},
  pages        = {64--72},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/384197.384208},
  doi          = {10.1145/384197.384208},
  timestamp    = {Sun, 02 Oct 2022 16:11:14 +0200},
  biburl       = {https://dblp.org/rec/conf/lctrts/HenzingerHK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics