Boolean derivatives and multi-valued simulation on binary decision diagrams
author
Ubar, Raimund-Johannes
statement of authorship
R. Ubar
source
Proceedings of the 4th International Workshop Mixed Design of Integrated Circuits and Systems : MIXDES'97 : Poznan, Poland, 12-14 June 1997
location of publication
[S.l.]
year of publication
1997
pages
p. 115-120
language
inglise