A rigorous approach to fault-tolerant system development: Flaviu Cristian: IBM Research Laboratory, San Jose, (Jan. 1983)

作者:

Highlights:

摘要

论文关键词:

论文评审过程:Available online 19 May 2003.

论文官网地址:https://doi.org/10.1016/0167-9236(85)90075-2