@techreport{weko_26959_1,
   author	 = "藤田,裕久 and 濱田,雅彦 and 谷本,匡亮 and 中田,明夫 and 東野,輝夫",
   title	 = "即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法",
   year 	 = "2007",
   institution	 = "大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科",
   number	 = "2(2007-SLDM-128)",
   month	 = "jan"
}