Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Pasareanu, Corina (Kestrel Technology, LLC Moffett Field, CA, United States) Visser, Willem (Research Inst. for Advanced Computer Science Moffett Field, CA, United States) Date Acquired
September 7, 2013
Publication Date
January 1, 2004
Subject Category
Cybernetics, Artificial Intelligence And Robotics Meeting Information
Meeting: 11th International Spin Workshop on Model Checking of Software
Location: Barcelona
Country: Spain
Start Date: April 1, 2004
End Date: April 3, 2004
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.