Boolean derivatives and multi-valued simulation on binary decision diagrams

vastutusandmed
R. Ubar
ilmumiskoht
[S.l.]
ilmumisaasta
leheküljed
p. 115-120
keel
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.