Wilsin Gosti Tiziano Villa Alexander Saldanha Alberto L. Sangiovanni-Vincentelli FSM Encoding for BDD Representations. 113-124 2007 17 Applied Mathematics and Computer Science 1 http://dx.doi.org/10.2478/v10006-007-0011-6 db/journals/amcs/amcs17.html#GostiVSS07