BibTeX record conf/dac/HaferP81

download as .bib file

@inproceedings{DBLP:conf/dac/HaferP81,
  author    = {Louis J. Hafer and
               Alice C. Parker},
  editor    = {Robert J. Smith},
  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},
  publisher = {{ACM/IEEE}},
  year      = {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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics