%0 Journal Article %1 journals/tcad/TakahashiIY94 %A Takahashi, Noriyuki %A Ishiura, Nagisa %A Yajima, Shuzo %D 1994 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 4 %P 531-535 %T Fault simulation for multiple faults by Boolean function manipulation. %U http://dblp.uni-trier.de/db/journals/tcad/tcad13.html#TakahashiIY94 %V 13

@article{journals/tcad/TakahashiIY94, added-at = {2020-09-24T00:00:00.000+0200}, author = {Takahashi, Noriyuki and Ishiura, Nagisa and Yajima, Shuzo}, biburl = {https://www.bibsonomy.org/bibtex/2d57a4e79f8d2ba8d9757d3350e4a3e60/dblp}, ee = {https://doi.org/10.1109/43.275363}, interhash = {d96aacafa1e56cb162bbb6c182543def}, intrahash = {d57a4e79f8d2ba8d9757d3350e4a3e60}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 4, pages = {531-535}, timestamp = {2020-09-25T11:44:31.000+0200}, title = {Fault simulation for multiple faults by Boolean function manipulation.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad13.html#TakahashiIY94}, volume = 13, year = 1994 }