50140807

j

50140807 Gosti, Wilsin Villa, Tiziano Saldanha, Alexander Sangiovanni-Vincentelli, Alberto L. FSM encoding for BDD representations Applied Mathematics and Computer Science 17, No. 1, 113-124 (2007). 2007 EN

doi:10.2478/v10006-007-0011-6