@article{oai:ipsj.ixsq.nii.ac.jp:00004069,
 author = {檜原, 弘樹 and 大塚, 誠 and 水島, 泰彦 and 森里, 司 and 大島, 武 and 三好, 弘晃 and 馬場, 研一 and Hihara, Hiroki and Ohtsuka, Makoto and Mizushima, Yasuhiko and Morisato, Tsukasa and Ohshima, Takeshi and Miyoshi, Hiroaki and Baba, Ken-Ichi},
 issue = {6},
 journal = {情報処理},
 month = {Jun},
 title = {宇宙機搭載用フォールトトレラントコンピュータ},
 volume = {35},
 year = {1994}
}