Conference , Workshops Proceedings

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
[Full text] [Abstract]

  • Montréal InVivo RT @Montreal_InVivo: MEDTEQ organisera son 6e Forum annuel « Innover au-delà des frontières » le 17 janvier prochain, à la Grande Bibliothè…
  • Le CRIM est partout! Pour les dernières nouvelles, consultez l'infolettre! https://t.co/rqohY13zFg