Research Catalog

Efficient symbolic state-space construction for asynchronous systems

Title: Efficient symbolic state-space construction for asynchronous systems [microform] / Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu.
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, [1999]

Details

Additional Authors

Description

1 v.

Series Statement

ICASE report ; no. 99-50
[NASA contractor report] ; NASA/CR-1999-209827

Uniform Title

NASA contractor report ; NASA CR-209827.

Alternative Title

Efficient symbolic state space construction for asynchronous systems

Subject

Note

Shipping list no.: 2000-0583-M.

Reproduction (note)

Microfiche.

Call Number

READEX Microfiche NAS 1.26:209827

OCLC

44114136

Author

Ciardo, Gianfranco.

Title

Efficient symbolic state-space construction for asynchronous systems [microform] / Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu.

Imprint

Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; Springfield, VA : National Technical Information Service, distributor, [1999]

Series

ICASE report ; no. 99-50

[NASA contractor report] ; NASA/CR-1999-209827

NASA contractor report ; NASA CR-209827.

Reproduction

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

Added Author

Lüttgen, Gerald.

Siminiceanu, Radu.

Institute for Computer Applications in Science and Engineering.

Gpo Item No.

0830-H-14 (MF)

Sudoc No.

NAS 1.26:209827

Research Call Number

READEX Microfiche NAS 1.26:209827

View in Legacy Catalog