Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Authors
Holzmann, Gerard J. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Joshi, Rajeev (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Groce, Alex (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Date Acquired
August 3, 2015
Publication Date
September 15, 2008
Subject Category
Computer Programming And Software Meeting Information
Meeting: IEEE/ACM International Conference on Automated Software Engineering
Location: L''Aquila
Country: Italy
Start Date: September 15, 2008
End Date: September 19, 2008
Sponsors: Association for Computing Machinery, Institute of Electrical and Electronics Engineers
Distribution Limits
Public
Keywords
grid computinglogic model checking