BibTeX record: conf/dac/KuhnOWREK01

download as .bib file

@inproceedings{DBLP:conf/dac/KuhnOWREK01,
  author    = {Tommy Kuhn and
               Tobias Oppold and
               Markus Winterholer and
               Wolfgang Rosenstiel and
               Mark Edwards and
               Yaron Kashai},
  title     = {A Framework for Object Oriented Hardware Specification, Verification,
               and Synthesis},
  booktitle = {Proceedings of the 38th Design Automation Conference, {DAC} 2001,
               Las Vegas, NV, USA, June 18-22, 2001},
  pages     = {413--418},
  year      = {2001},
  crossref  = {DBLP:conf/dac/2001},
  url       = {http://doi.acm.org/10.1145/378239.378537},
  doi       = {10.1145/378239.378537},
  timestamp = {Tue, 15 Nov 2011 16:45:56 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dac/KuhnOWREK01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dac/2001,
  title     = {Proceedings of the 38th Design Automation Conference, {DAC} 2001,
               Las Vegas, NV, USA, June 18-22, 2001},
  publisher = {{ACM}},
  year      = {2001},
  url       = {http://dl.acm.org/citation.cfm?id=378239},
  isbn      = {1-58113-297-2},
  timestamp = {Tue, 15 Nov 2011 16:45:56 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dac/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}