@techreport{weko_70847_1,
   author	 = "大森,洋一 and 園田,貴大 and 荒木,啓二郎",
   title	 = "状態遷移図の同期モデルへの詳細化および検証手法",
   year 	 = "2010",
   institution	 = "九州大学大学院システム情報科学研究院, 九州大学大学院システム情報科学府, 九州大学大学院システム情報科学研究院",
   number	 = "17",
   month	 = "nov"
}