Research Catalog

Storage alternatives for large structured state spaces

Title
Storage alternatives for large structured state spaces [microform] / Gianfranco Ciardo, Andrew S. Miner.
Author
Ciardo, Gianfranco.
Publication
Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1997]

Details

Additional Authors
  • Miner, Andrew S.
  • Institute for Computer Applications in Science and Engineering.
Description
1 v.
Series Statement
  • ICASE report ; no. 97-5
  • NASA contractor report ; 201646
Uniform Title
NASA contractor report ; NASA CR-201646.
Subject
  • Petri nets
  • Queueing theory
Note
  • Distributed to depository libraries in microfiche.
  • Shipping list no.: 97-0706-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:201646
OCLC
marcive39031977
Author
Ciardo, Gianfranco.
Title
Storage alternatives for large structured state spaces [microform] / Gianfranco Ciardo, Andrew S. Miner.
Imprint
Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1997]
Series
ICASE report ; no. 97-5
NASA contractor report ; 201646
NASA contractor report ; NASA CR-201646.
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1997] 1 microfiche.
Added Author
Miner, Andrew S.
Institute for Computer Applications in Science and Engineering.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:201646
Research Call Number
READEX Microfiche NAS 1.26:201646
View in Legacy Catalog