Efficient symbolic state-space construction for asynchronous systems
By: Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu.
Contributors: Lüttgen, Gerald.; Siminiceanu, Radu.; Institute for Computer Applications in Science and Engineering.
Series: ICASE report -- no. 99-50.; [NASA contractor report] -- NASA/CR-1999-209827.; NASA contractor report -- NASA CR-209827.
Publisher: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center; National Technical Information Service, distributor
Published: 1999
Place of publication: Hampton, VA; Springfield, VA
Language: eng
Format: Microform
Other titles: Efficient symbolic state space construction for asynchronous systems.
Notes: Shipping list no.: 2000-0583-M.

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