Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-7 of 7 results for author "Ciardo, Gianfranco."
Efficient symbolic state-space construction for asynchronous systems [microform] / Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu.
- Text
- Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; Springfield, VA : National Technical Information Service, distributor, [1999]
- 1999
On the minimum of independent geometrically distributed random variables [microform] / Gianfranco Ciardo, Lawrence M. Lee, David Nicol.
- Text
- Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
- 1994
Discrete-time Markovian stochastic Petri nets [microform] / Gianfranco Ciardo.
- Text
- Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
- 1995
Distributed state-space generation of discrete-state stochastic models [microform] / Gianfranco Ciardo, Joshua Gluckman, David Nicol.
- Text
- Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
- 1995
Storage alternatives for large structured state spaces [microform] / Gianfranco Ciardo, Andrew S. Miner.
- Text
- Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1997]
- 1997
Discrete-event simulation of fluid stochastic Petri nets [microform] / Gianfranco Ciardo, David Nicol [and] Kishor S. Trivedi.
- Text
- [Washington, D.C. : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1997]
- 1997
Parametric state space structuring [microform] / Gianfranco Ciardo, Marco Tilgner.
- Text
- Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1997]
- 1997
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
