%0 Journal Article %1 journals/tcad/DevadasMNS90 %A Devadas, Srinivas %A Ma, Hi-Keung Tony %A Newton, A. Richard %A Sangiovanni-Vincentelli, Alberto L. %D 1990 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 1 %P 8-18 %T Irredundant sequential machines via optimal logic synthesis. %U http://dblp.uni-trier.de/db/journals/tcad/tcad9.html#DevadasMNS90 %V 9

@article{journals/tcad/DevadasMNS90, added-at = {2020-09-24T00:00:00.000+0200}, author = {Devadas, Srinivas and Ma, Hi-Keung Tony and Newton, A. Richard and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/27976ebe020895f9c36c683546bdcb2fe/dblp}, ee = {https://www.wikidata.org/entity/Q57381017}, interhash = {e6e7c96618113912edd0f89452b351c1}, intrahash = {7976ebe020895f9c36c683546bdcb2fe}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 1, pages = {8-18}, timestamp = {2020-09-25T11:47:21.000+0200}, title = {Irredundant sequential machines via optimal logic synthesis.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad9.html#DevadasMNS90}, volume = 9, year = 1990 }