DBLP BibTeX Record 'conf/fdl/TakachWG04'

@inproceedings{DBLP:conf/fdl/TakachWG04,
  author    = {Andr{\'e}s Takach and
               Simon Waters and
               Peter Gutberlet},
  title     = {Fast Bit-Accurate C++ Datatypes For Functional System Verification
               and Synthesis},
  booktitle = {FDL},
  year      = {2004},
  pages     = {337-345},
  ee        = {http://www.ecsi-association.org/ecsi/main.asp?l1=library{\&}fn=def{\&}id=620},
  crossref  = {DBLP:conf/fdl/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fdl/2004,
  title     = {Forum on specification and Design Languages, FDL 2004, September
               14-17, 2004, Lille, France, Proceedings},
  booktitle = {FDL},
  publisher = {ECSI},
  year      = {2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}