Acquisition Source
Legacy CDMS
Document Type
Contractor Report (CR)
Authors
Mccarthy, John (Stanford Univ. CA, United States) Manna, Zohar (Stanford Univ. CA, United States) Mason, Ian (Stanford Univ. CA, United States) Pnueli, Amir (Stanford Univ. CA, United States) Talcott, Carolyn (Stanford Univ. CA, United States) Waldinger, Richard (Stanford Univ. CA, United States) Date Acquired
September 6, 2013
Publication Date
July 31, 1994
Subject Category
Computer Programming And Software Report/Patent Number
NAS 1.26:197528NASA-CR-197528 Accession Number
95N16586
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.