Books+ Search Results
Formal mechanization of device interactions with a process algebra
Author
Title
Formal mechanization of device interactions with a process algebra [microform] / E. Thomas Schubert, Karl Levitt.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1992]
Physical Description
1 v.
Notes
Distributed to depository libraries in microfiche.
Shipping list no.: 93-0324-M.
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration], 1992. 1 microfiche.
Format
Books / Microforms
Language
English
Added to Catalog
June 01, 2002
Series
NASA contractor report ; 189644
Subjects
Also listed under
Langley Research Center.
Bookmark As
Citation
