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 = {{DAC}},
  pages     = {846--853},
  publisher = {{ACM/IEEE}},
  year      = {1981}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics