Storage alternatives for large structured state spaces
By: Gianfranco Ciardo, Andrew S. Miner.
Contributors: Miner, Andrew S.; Institute for Computer Applications in Science and Engineering.
Series: ICASE report -- no. 97-5; NASA contractor report -- 201646; NASA contractor report -- NASA CR-201646.
Publisher: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center; National Technical Information Service, distributor
Published: 1997
Place of publication: Hampton, VA; [Springfield, Va
Language: eng
Format: Microform
Subjects: Petri nets.; Queueing theory.
Notes: Distributed to depository libraries in microfiche.

Shipping list no.: 97-0706-M.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1997] 1 microfiche.