@techreport{weko_34814_1,
   author	 = "館,宜伸 and 山根,智",
   title	 = "分散システムのハイブリッドモジュールによる形式化と詳細化自動検証",
   year 	 = "2001",
   institution	 = "金沢大学自然科学研究科, 金沢大学工学部情報システム工学科",
   number	 = "107(2001-DPS-105)",
   month	 = "nov"
}