BibTeX record conf/dac/HaferP81

download as .bib file

@inproceedings{DBLP:conf/dac/HaferP81,
  author    = {Louis J. Hafer and
               Alice C. Parker},
  title     = {A formal method for the specification, analysis, and design of register-transfer
               level digital logic},
  booktitle = {Proceedings of the 18th Design Automation Conference, {DAC} '81, Nashville,
               Tennessee, USA, June 29 - July 1, 1981},
  pages     = {846--853},
  year      = {1981},
  crossref  = {DBLP:conf/dac/1981},
  url       = {http://dl.acm.org/citation.cfm?id=802402},
  timestamp = {Wed, 31 Mar 2021 10:47:13 +0200},
  biburl    = {https://dblp.org/rec/conf/dac/HaferP81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/1981,
  editor    = {Robert J. Smith},
  title     = {Proceedings of the 18th Design Automation Conference, {DAC} '81, Nashville,
               Tennessee, USA, June 29 - July 1, 1981},
  publisher = {{ACM/IEEE}},
  year      = {1981},
  url       = {http://dl.acm.org/citation.cfm?id=800073},
  timestamp = {Mon, 02 Aug 2021 05:47:48 +0200},
  biburl    = {https://dblp.org/rec/conf/dac/1981.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics