Research Catalog

Detection of global state predicates

Title: Detection of global state predicates / Keith Marzullo, Gil Neiger.
Author: Marzullo, Keith
Publication: Ithaca, N.Y. : Dept. of Computer Science, Cornell University ; [Washington, DC] : [National Aeronautics and Space Administration] ; [Springfield, Va.] : [National Technical Information Service, distributor], [1991]

Details

Additional Authors

Description

1 volume

Series Statement

[NASA contractor report] ; NASA CR-189499

Uniform Title

NASA contractor report ; NASA CR-189499.

Subject

Note

Distributed to depository libraries in microfiche.
Shipping list no.: 92-1315-M.

Reproduction (note)

Microfiche.

Call Number

READEX Microfiche NAS 1.26:189499

OCLC

29263638

Author

Marzullo, Keith.

Title

Detection of global state predicates / Keith Marzullo, Gil Neiger.

Imprint

Ithaca, N.Y. : Dept. of Computer Science, Cornell University ; [Washington, DC] : [National Aeronautics and Space Administration] ; [Springfield, Va.] : [National Technical Information Service, distributor], [1991]

Type of Content

text

Type of Medium

microform

Type of Carrier

microfiche

Series

[NASA contractor report] ; NASA CR-189499

NASA contractor report ; NASA CR-189499. http://id.loc.gov/authorities/names/n83825229

Reproduction

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1992]. 1 microfiche.

Added Author

Neiger, Gil.

United States. National Aeronautics and Space Administration.

Gpo Item No.

0830-H-14 (MF)

Sudoc No.

NAS 1.26:189499

View in Legacy Catalog