Automated parallelization of discrete state-space generation [electronic resource] / 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]