An edition of Efficient symbolic state-space construction for asynchronous systems (1999)

Efficient symbolic state-space construction for asynchronous systems

by Gianfranco Ciardo

Efficient symbolic state-space construction f ...

Gianfranco Ciardo

Locate

My Reading Lists:

Use this Work

Create a new list

Buy this book

Last edited by VacuumBot

August 9, 2012 | History

Edit

An edition of Efficient symbolic state-space construction for asynchronous systems (1999)

Efficient symbolic state-space construction for asynchronous systems

by Gianfranco Ciardo

This edition doesn't have a description yet. Can you add one?

Publish Date

1999

Publisher

Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, National Technical Information Service, distributor

Language

English

Buy this book

Edition	Availability
1 Efficient symbolic state-space construction for asynchronous systems 1999, Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, National Technical Information Service, distributor Microform in English	zzzz Locate
2 Efficient symbolic state-space construction for asynchronous systems 1999, Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, National Technical Information Service, distributor Microform in English	zzzz Locate
3 Efficient symbolic state-space construction for asynchronous systems 1999, Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, National Technical Information Service, distributor Microform in English	zzzz Locate
4 Efficient symbolic state-space construction for asynchronous systems 1999, Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, National Technical Information Service, distributor Microform in English	aaaa Locate

Add another edition?

Book Details

Edition Notes

Shipping list no.: 2000-0583-M.

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

Published in: Hampton, VA, Springfield, VA
Series: ICASE report -- no. 99-50, [NASA contractor report] -- NASA/CR-1999-209827, NASA contractor report -- NASA CR-209827.
Other Titles: Efficient symbolic state space construction for asynchronous systems

The Physical Object

Format: Microform
Pagination: 1 v.

Edition Identifiers

Open Library: OL18295620M

Work Identifiers

Work ID: OL11562179W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Created October 15, 2008
3 revisions

Download catalog record: RDF / JSON / OPDS | Wikipedia citation

August 9, 2012	Edited by VacuumBot	Updated format '[microform] /' to 'Microform'; Removed author from Edition (author found in Work)
December 15, 2009	Edited by WorkBot	link works
October 15, 2008	Created by ImportBot	Imported from bcl_marc record

Efficient symbolic state-space construction for asynchronous systems

by Gianfranco Ciardo