Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Spitzer, Cary R. (NASA Langley Research Center Hampton, VA, United States) Date Acquired
September 6, 2013
Publication Date
November 1, 1990
Publication Information
Publication: NASA Formal Methods Workshop, 1990
Accession Number
91N17560
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.