A formally verified alrgothim for interactive consistency under a hybrid fault model [microform] / Patrick Lincoln and John Rushby.

Saved in:

Bibliographic Details
Online Access:	Click here to view report online
Main Author:	Lincoln, Patrick
Corporate Author:	United States. National Aeronautics and Space Administration. Scientific and Technical Information Program
Other Authors:	Rushby, John, 1949-
Format:	Government Document Microfilm Book
Language:	English
Published:	[Washington, D.C.] : [Springfield, Va.] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [National Technical Information Service, distributor], 1993.
Series:	NASA contractor report ; NASA CR-4527.
Subjects:	Algorithms. Computer algorithms. Fault-tolerant computing.

Internet

Holdings details from Online
Call Number:	NAS 1.26:4527
NAS 1.26:4527	Available