@techreport{weko_50727_1,
   author	 = "櫟粛之 and 澤田,宏",
   title	 = "HDLで記述されたハードウェア設計の時相論理による検証",
   year 	 = "1999",
   institution	 = "NTTコミュニケーション科学研究所, NTTコミュニケーション科学研究所",
   number	 = "1(1998-ICS-115)",
   month	 = "jan"
}