APA Citation

Villa, T., Kam, T., Brayton, R. K., & Sangiovanni-Vincentelli, A. L. (1997). Synthesis of Finite State Machines: Logic Optimization (1st ed. 1997.). New York, NY: Springer US.

Chicago Style Citation

Villa, Tiziano, Timothy Kam, Robert K. Brayton, and Alberto L. Sangiovanni-Vincentelli. Synthesis of Finite State Machines: Logic Optimization. 1st ed. 1997. New York, NY: Springer US, 1997.

MLA Citation

Villa, Tiziano, Timothy Kam, Robert K. Brayton, and Alberto L. Sangiovanni-Vincentelli. Synthesis of Finite State Machines: Logic Optimization. 1st ed. 1997. New York, NY: Springer US, 1997.