Acquisition Source
Ames Research Center
Document Type
Preprint (Draft being sent to journal)
Authors
Lindsey, Anthony E. (QSS Group, Inc. Moffett Field, CA, United States) Pecheur, Charles (Research Inst. for Advanced Computer Science Moffett Field, CA, United States) Date Acquired
August 21, 2013
Publication Date
May 7, 2003
Subject Category
Computer Programming And Software Meeting Information
Meeting: 2003 Dependable Systems and Networks Workshop on Model Checking for Dependable Software-Intensive Systems
Country: Unknown
Start Date: January 1, 2003
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.