APA (7th ed.) Citation

Nicol, D. M., & Ciardo, G. (2000). Automated parallelization of discrete state-space generation. Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; Available from NASA Center for AeroSpace Information (CASI).

Chicago Style (17th ed.) Citation

Nicol, David M., and Gianfranco Ciardo. Automated Parallelization of Discrete State-space Generation. Hampton, VA : Hanover, MD: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; Available from NASA Center for AeroSpace Information (CASI), 2000.

MLA (9th ed.) Citation

Nicol, David M., and Gianfranco Ciardo. Automated Parallelization of Discrete State-space Generation. Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; Available from NASA Center for AeroSpace Information (CASI), 2000.