Acte de conférence, colloque et atelier

Synthesis by Language ...

Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A and Sangiovanni-Vincentelli, A. "Synthesis by Language Equation Solving" in IEEE International Workshop on Logic Synthesis (IWLS'2000), pp. 11-14. CA, Dana Point, USA