%0 Journal Article
%A Gosti, W.
%A Villa, T.
%A Saldanha, A.
%A Sangiovanni-Vincentelli, A. L.
%T FSM encoding for BDD representations
%J International Journal of Applied Mathematics and Computer Science
%D 2007
%P 113-128
%V 17
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IJAMCS_2007_17_1_a10/
%G en
%F IJAMCS_2007_17_1_a10