@inproceedings{weko_134151_1, author = "中川,さより and 福本,聡 and 石井,直宏", title = "冗長化による誤り検出のための最適チェックポイント間隔", booktitle = "全国大会講演論文集", year = "1998", volume = "第57回", number = "アーキテクチャ", pages = "107--108", month = "oct" }