Acquisition Source
Goddard Space Flight Center
Document Type
Preprint (Draft being sent to journal)
Authors
Bowen, Jonathan P. (South Bank Univ. London, United Kingdom) Hinchey, Michael G. (NASA Goddard Space Flight Center Greenbelt, MD, United States) Date Acquired
September 7, 2013
Publication Date
January 1, 2005
Subject Category
Documentation And Information Science Meeting Information
Meeting: Workshop on Formal Methods for Industrially Critical Systems
Location: Lisbon
Country: Portugal
Start Date: September 5, 2005
End Date: September 6, 2005
Distribution Limits
Public
Copyright
Public Use Permitted.