@techreport{weko_157992_1,
   author	 = "市川,杏子 and 紫合,治",
   title	 = "プロブレムフレームに基づく状態マシン仕様の自動生成について",
   year 	 = "2016",
   institution	 = "東京電機大学大学院情報環境学研究科, 東京電機大学大学院情報環境学研究科",
   number	 = "10",
   month	 = "mar"
}