@techreport{weko_69026_1,
   author	 = "中川,智文 and 浜口,清治 and 垣内,洋介 and 中西,正樹 and 谷本,匡亮",
   title	 = "メッセージ・シークエンス・チャートに対するSATソルバーを用いたディスコード計算手法",
   year 	 = "2010",
   institution	 = "大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科, 山形大学地域教育文化学部, (株) ルネサステクノロジ",
   number	 = "63",
   month	 = "mar"
}