1995年 A Formal Description of FTAG for Multi-Processor Systems Third Pacific Rim International Symposium on Fault-Tolerant Systems 巻 3 号 開始ページ 244 終了ページ 253 エクスポート BibTeX RIS