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