@techreport{weko_42061_1,
   author	 = "五十嵐,政志 and 小林,毅 and 小池,賢一 and 川口,正高",
   title	 = "状態遷移モデルを用いたＢＰＭにおけるロングトランザクション補償処理実行方式の提案と考察",
   year 	 = "2005",
   institution	 = "三菱電機株式会社　情報技術総合研究所, 三菱電機株式会社　情報技術総合研究所, 三菱電機株式会社　情報技術総合研究所, 三菱電機株式会社　情報技術総合研究所",
   number	 = "30(2004-GN-055)",
   month	 = "mar"
}