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

Check nearby libraries

WorldCat

Buy this book

Last edited by Open Library Bot

December 3, 2010 | 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 work 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

Check nearby libraries

WorldCat

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	aaaa 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	zzzz 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: OL17595202M
OCLC/WorldCat: 44114136

Work Identifiers

Work ID: OL11562179W

Source records

Oregon Libraries MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Created December 11, 2009
2 revisions

Download catalog record: RDF / JSON

December 3, 2010	Edited by Open Library Bot	Added subjects from MARC records.
December 11, 2009	Created by WorkBot	add works page

Efficient symbolic state-space construction for asynchronous systems

by Gianfranco Ciardo