Rapport technique

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]