@techreport{weko_27759_1,
   author	 = "木村,智雄 and 大内,晴美 and 鈴木,五郎",
   title	 = "オンライン論理設計検証システム",
   year 	 = "1998",
   institution	 = "日立プロセスコンピュータエンジニアリング株式会社, 日立プロセスコンピュータエンジニアリング株式会社, 株式会社　日立製作所　大みか工場",
   number	 = "10(1997-SLDM-087)",
   month	 = "jan"
}