.
.
"Louis J. Hafer and Alice C. Parker: A formal method for the specification, analysis, and design of register-transfer level digital logic. (1981)" .
"A formal method for the specification, analysis, and design of register-transfer level digital logic." .
.
.
.
"2"^^ .
_:List_bbb8d9fc1d1fffbea1f17fb517c883fd_1 .
_:List_bbb8d9fc1d1fffbea1f17fb517c883fd_1 .
_:List_bbb8d9fc1d1fffbea1f17fb517c883fd_1 .
_:List_bbb8d9fc1d1fffbea1f17fb517c883fd_1 _:List_bbb8d9fc1d1fffbea1f17fb517c883fd_2 .
_:List_bbb8d9fc1d1fffbea1f17fb517c883fd_2 .
_:List_bbb8d9fc1d1fffbea1f17fb517c883fd_2 .
_:List_bbb8d9fc1d1fffbea1f17fb517c883fd_2 .
.
.
"846-853" .
"DAC" .
"DAC" .
"1981" .
"1981" .
.
"provenance information for RDF data of dblp record 'conf/dac/HaferP81'" .
.
.
.
"2012-03-01T16:01:34+0100" .