Acte de conférence, colloque et atelier

Compositionally Progressive Solutions of Synchronous ...

Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A. and Sangiovanni-Vincentelli, A. "Compositionally Progressive Solutions of Synchronous Language Equations" in Proceedings of the IEEE/ACM 12th International Workshop on Logic & Synthesis (IWLS'03). CA, Laguna Beach, USA
[Résumé]