Consistent detection of global predicates
By: Robert Cooper, Keith Marzullo.
Contributors: Marzullo, Keith.; United States. National Aeronautics and Space Administration.
Series: NASA-CR -- 188078.; NASA contractor report -- NASA CR-188078.
Publisher: Dept. of Computer Science, Cornell University
Published: 1991
Place of publication: Ithaca, NY
Language: eng
Format: Microform
Subjects: Computer programs.
Notes: Distributed to depository libraries in microfiche.

Microfiche. [Washington, DC? : National Aeronautics and Space Administration], 1991. 1 microfiche.