Ronald Riter

Modeling and testing a critical fault-tolerant multi-process system

Ronald Riter, Ronald Riter, 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.