@techreport{weko_28100_1,
   author	 = "宮崎,純 and 米田,友洋 and 当麻,喜弘",
   title	 = "拡張時間順序機械に基づく自動タイミング検証方式の並列化",
   year 	 = "1992",
   institution	 = "北陸先端科学技術大学院大学　情報科学, 東京工業大学　情報工学科, 東京工業大学　情報工学科",
   number	 = "83(1992-SLDM-064)",
   month	 = "oct"
}