BibTeX record conf/fdl/VillarHF10

download as .bib file

@inproceedings{DBLP:conf/fdl/VillarHF10,
  author       = {Eugenio Villar and
                  Fernando Herrera and
                  V{\'{\i}}ctor Fern{\'{a}}ndez},
  editor       = {Adam Morawiec and
                  Jinnie Hinderscheit},
  title        = {Formal Support for Untimed SystemC Specifications: Application to
                  High-level Synthesis},
  booktitle    = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
                  {FDL} 2010, September 14-16, 2010, Southampton, {UK}},
  pages        = {74--79},
  publisher    = {ECSI, Electronic Chips {\&} Systems design Initiative},
  year         = {2010},
  timestamp    = {Thu, 05 Dec 2019 17:24:46 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/VillarHF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics