%0 Journal Article %1 journals/tcad/AmellalK94 %A Amellal, Said %A Kaminska, Bozena %D 1994 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 5 %P 537-552 %T Functional synthesis of digital systems with TASS. %U http://dblp.uni-trier.de/db/journals/tcad/tcad13.html#AmellalK94 %V 13

@article{journals/tcad/AmellalK94, added-at = {2020-09-24T00:00:00.000+0200}, author = {Amellal, Said and Kaminska, Bozena}, biburl = {https://www.bibsonomy.org/bibtex/2c443d411275e3e2159bdd30eff20c52c/dblp}, ee = {https://doi.org/10.1109/43.277628}, interhash = {a100d260b2ae9c9d29a526aacc500bcd}, intrahash = {c443d411275e3e2159bdd30eff20c52c}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 5, pages = {537-552}, timestamp = {2020-09-25T11:49:16.000+0200}, title = {Functional synthesis of digital systems with TASS.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad13.html#AmellalK94}, volume = 13, year = 1994 }