@techreport{weko_28047_1,
   author	 = "中根,清光 and 米田,友洋",
   title	 = "線形時相論理の為の効率的記号モデル検査方式",
   year 	 = "1993",
   institution	 = "東京工業大学情報工学科, 東京工業大学情報工学科",
   number	 = "94(1993-SLDM-068)",
   month	 = "oct"
}