Journal

Component-Based Design by Solving Language Equations

Villa, T., Petrenko, A., Yevtushenko, N., Mishchenko, A. and Brayton, R. "Component-Based Design by Solving Language Equations" Proceedings of the IEEE, 103 (11) 2015 : 2152 - 2167

  • Croesus_fr RT @Croesus_fr: @CRIM_ca @economie_quebec Merci pour le partage @CRIM_ca! Nous sommes aussi très heureux. #collaboration
  • Croesus RT @CroesusFin: Croesus announces the official launch of Croesus Lab https://t.co/GqWue9OaHk