@techreport{weko_27926_1, author = "向山輝 and 若林,一敏 and 藤田,友之 and 山際,肇 and 菅波,和幸 and 田中,英俊", title = "論理回路フォーマル検証システムCondorの多値論理対応について", year = "1995", institution = "日本電気(株), 日本電気(株), 日本電気(株), 日本電気ソフトウェア北陸(株), 日本電気ソフトウェア北陸(株), 日本電気ソフトウェア北陸(株)", number = "54(1995-SLDM-075)", month = "may" }