Automated parallelization of discrete state-space generation
We couldn't estimate the reading time for this book.
Author
Contributions
- Ciardo, Gianfranco. - Contributor
- Institute for Computer Applications in Science and Engineering. - Contributor
- Langley Research Center. - Contributor
Publication
2000 - Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, Hampton, VA, Virginia
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- OCLC Control Number50697865
- Open LibraryOL17620429M
Alternate Titles
- Automated parallelization of discrete state space generation.
Subjects
Topics
Series Statement
- ICASE report -- no. 2000-11.
- [NASA contractor report] -- NASA/CR-2000-210082.
- NASA contractor report -- NASA CR-210082.
Links
Other Editions
- Automated parallelization of discrete state-space generation
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!