Formal verification of an oral messages algorithm for interactive consistency [microform] / John Rushby.

Saved in:

Bibliographic Details
Online Access:	Connect to online resource
Main Author:	Rushby, John, 1949-
Corporate Author:	Langley Research Center
Format:	Government Document Book
Language:	English
Published:	Hampton, Va. : [Springfield, Va.] : National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], [1992]
Series:	NASA contractor report ; NASA CR-189704.
Subjects:	Algorithms.

Internet

Connect to online resource

Holdings details from Norlin Library - Government Information - Microform
Call Number:	NAS 1.26:189704
NAS 1.26:189704	Restricted Place a Hold

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