BibTeX record conf/codes/ReimannGHET10

download as .bib file

@inproceedings{DBLP:conf/codes/ReimannGHET10,
  author       = {Felix Reimann and
                  Michael Gla{\ss} and
                  Christian Haubelt and
                  Michael Eberl and
                  J{\"{u}}rgen Teich},
  editor       = {Tony Givargis and
                  Adam Donlin},
  title        = {Improving platform-based system synthesis by satisfiability modulo
                  theories solving},
  booktitle    = {Proceedings of the 8th International Conference on Hardware/Software
                  Codesign and System Synthesis, {CODES+ISSS} 2010, part of ESWeek '10
                  Sixth Embedded Systems Week, Scottsdale, AZ, USA, October 24-28, 2010},
  pages        = {135--144},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1878961.1878986},
  doi          = {10.1145/1878961.1878986},
  timestamp    = {Sun, 25 Oct 2020 23:18:39 +0100},
  biburl       = {https://dblp.org/rec/conf/codes/ReimannGHET10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.