@techreport{weko_27694_1, author = "四柳,浩之 and 橋爪,正樹 and 為貞建臣 and 樹下行三", title = "到達不能状態に基づく順序回路の冗長信号線の同時除去法", year = "1999", institution = "徳島大学工学部電気電子工学科, 徳島大学工学部電気電子工学科, 徳島大学工学部電気電子工学科, 大阪大学大学院工学研究科応用物理学専攻", number = "12(1998-SLDM-091)", month = "feb" }