Boolean derivatives and multi-valued simulation on binary decision diagrams
autor
Ubar, Raimund-Johannes
vastutusandmed
R. Ubar
allikas
Proceedings of the 4th International Workshop Mixed Design of Integrated Circuits and Systems : MIXDES'97 : Poznan, Poland, 12-14 June 1997
ilmumiskoht
[S.l.]
ilmumisaasta
1997
leheküljed
p. 115-120
keel
inglise