- Additional Authors
- Description
- 1 v.
- Series Statement
- ICASE report ; no. 2000-11
- [NASA contractor report] ; NASA/CR-2000-210082
- Uniform Title
- NASA contractor report ; NASA CR-210082.
- Alternative Title
- Automated parallelization of discrete state space generation
- Subject
- Note
- Shipping list no.: 2001-0362-M.
- Additional Formats (note)
- Also available via Internet from the ICASE web site. Address as of 9/30/02: ftp://ftp.icase.edu/pub/techreports/2000/2000-11.pdf ; current access is available via PURL.
- Reproduction (note)
- Call Number
- GPO Microfiche NAS 1.26:210082
- OCLC
- marcive50697865
- Author
Nicol, David M.
- Title
Automated parallelization of discrete state-space generation [microform] / David M. Nicol, Gianfranco Ciardo.
- Imprint
Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; Hanover, MD : Available from NASA Center for AeroSpace Information (CASI), [2000]
- Series
ICASE report ; no. 2000-11
[NASA contractor report] ; NASA/CR-2000-210082
NASA contractor report ; NASA CR-210082.
- Additional Formats
Also available via Internet from the ICASE web site. Address as of 9/30/02: ftp://ftp.icase.edu/pub/techreports/2000/2000-11.pdf ; current access is available via PURL.
- Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 2000?] 1 microfiche.
- Connect to:
- Added Author
Ciardo, Gianfranco.
Institute for Computer Applications in Science and Engineering.
Langley Research Center.
- Gpo Item No.
0830-H-14 (MF)
0830-H-14 (online)
- Sudoc No.
NAS 1.26:210082
- Research Call Number
GPO Microfiche NAS 1.26:210082
GPO Internet NAS 1.26:210082