@article{weko_13284_1,
   author	 = "岸本,光弘 and 中島,淳 and 大橋,勝之 and 金沢,裕治 and 土屋,芳浩 and 今井,祐二",
   title	 = "プロセスの2重化によるOSの高信頼化手法",
   journal	 = "情報処理学会論文誌",
   year 	 = "1997",
   volume	 = "38",
   number	 = "11",
   pages	 = "2251--2261",
   month	 = "nov"
}