Acte de conférence, colloque et atelier

Solution of Synchronous Language ...

Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A. and Sangiovanni-Vincentelli, A. "Solution of Synchronous Language Equations for Logic Synthesis" in Proceedings of the 4th Conference on Computer-Aided Technologies in Applied Mathematics (CATAM2002), pp. 132-137. Tomsk, Russia
[Résumé]