Synthesis of Finite State Machines Functional Optimization by Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli.

by Kam, Timothy, Villa, Tiziano, Brayton, Robert K., Sangiovanni-Vincentelli, Alberto L.
Published 1997

Synthesis of Finite State Machines Logic Optimization by Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli.

by Villa, Tiziano, Kam, Timothy, Brayton, Robert K., Sangiovanni-Vincentelli, Alberto L.
Published 1997

The Unknown Component Problem Theory and Applications by Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli.

by Villa, Tiziano, Yevtushenko, Nina, Brayton, Robert K., Mishchenko, Alan, Petrenko, Alexandre, Sangiovanni-Vincentelli, Alberto
Published 2012

Coordination Control of Distributed Systems edited by Jan H. van Schuppen, Tiziano Villa.

Published 2015