@techreport{weko_28509_1,
   author	 = "伊藤誠 and 石川純一 and 宮崎浩 and 蓼沼良一",
   title	 = "論理設計自動化システムと機能シミュレータ",
   year 	 = "1983",
   institution	 = "山梨大学　工学部, 山梨大学　工学部, 山梨大学　工学部, 山梨大学　工学部",
   number	 = "3(1983-SLDM-017)",
   month	 = "may"
}