@techreport{weko_21054_1,
   author	 = "宮崎,仁 and 瀬古,剛一 and 横川,智教 and 佐藤洋一郎 and 早瀬,道芳",
   title	 = "記号モデル検査を用いた状態マシン図とシーケンス図の無矛盾性の検証",
   year 	 = "2008",
   institution	 = "岡山県立大学大学院情報系工学研究科, 岡山県立大学大学院情報系工学研究科, 岡山県立大学大学院情報系工学研究科, 岡山県立大学大学院情報系工学研究科, 岡山県立大学大学院情報系工学研究科",
   number	 = "93(2008-SE-161)",
   month	 = "sep"
}