@inproceedings{weko_123878_1, author = "長沼,次郎 and 小倉,武", title = "並列論理型言語を用いた構造化分析法によるLSI仕様記述・検証法の検討", booktitle = "全国大会講演論文集", year = "1993", volume = "第46回", number = "ハードウェア", pages = "143--144", month = "mar" }