@inproceedings{weko_127001_1, author = "北嶋,暁 and 森岡,澄夫 and 北道,淳司 and 東野,輝夫 and 谷口,健一", title = "代数的言語ASLによる回路設計支援システムにおけるSFL記述への詳細化とその変更及びそれらの正しさの検証", booktitle = "全国大会講演論文集", year = "1994", volume = "第49回", number = "ハードウェア", pages = "99--100", month = "sep" }