Jérôme Fron, Jerry Chih-Yuan Yang, Maurizio Damiani, Giovanni De Micheli. A Synthesis Framework Based on Trace and Automata Theory. In ISCAS. pages 291-294, 1994.
@inproceedings{FronYDM94, title = {A Synthesis Framework Based on Trace and Automata Theory}, author = {Jérôme Fron and Jerry Chih-Yuan Yang and Maurizio Damiani and Giovanni De Micheli}, year = {1994}, tags = {automata theory, rule-based}, researchr = {https://researchr.org/publication/FronYDM94}, cites = {0}, citedby = {0}, pages = {291-294}, booktitle = {ISCAS}, }