Acte de conférence, colloque et atelier

Solution of Language Equations ...

Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A. and Sangiovanni-Vincentelli, A. "Solution of Language Equations for Logic Synthesis" in Proceedings of the IEEE 10th International Workshop on Logic & Synthesis (IWLS 2001). CA, Lake Taohe, USA
[Résumé]