Technical report

Sequential Synthesis ...

Yevtushenko, N., Villa, T., Brayton, R. K. , Petrenko, A., Sangiovanni-Vincentelli, A. L. Sequential Synthesis by Language Equation Solving. Berkeley, CA, University of California, College of Engineering, 2003. 51 p. . [UCB/ERL M03/9]

  • 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