Périodique

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