The Community for Technology Leaders
Fault-Tolerant Computing, International Symposium on (1998)
Munich, Germany
June 23, 1998 to June 25, 1998
ISSN: 0731-3071
ISBN: 0-8186-8470-4
pp: 16
INDEX TERMS
CITATION
M. Vaziri, N. Lynch, J. Wing, "Proving Correctness of a Controller Algorithm for the RAID Level 5 System", Fault-Tolerant Computing, International Symposium on, vol. 00, no. , pp. 16, 1998, doi:10.1109/FTCS.1998.689451
95 ms
(Ver )