@article{weko_60044_1, author = "Akihiko,Yamada and Nobuo,Wakatsuki and Kyouji,Tomita", title = "Parallel Fault Simulation Techniques for Large Digital Circuits Including Functional Elements", journal = "Information Processing in Japan", year = "1977", volume = "17", number = "0", pages = "1--5", month = "jan" }