Efficient symbolic state-space construction for asynchronous systems
We couldn't estimate the reading time for this book.
Author
Contributions
- Lüttgen, Gerald. - Contributor
- Siminiceanu, Radu. - Contributor
- Institute for Computer Applications in Science and Engineering. - Contributor
Publication
1999 - National Technical Information Service, distributor, Hampton, VA, Virginia
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Physical Format
Microform
Identifiers
- OCLC Control Number44114136
- Open LibraryOL18295620M
Alternate Titles
- Efficient symbolic state space construction for asynchronous systems
Subjects
Series Statement
- ICASE report -- no. 99-50
- [NASA contractor report] -- NASA/CR-1999-209827
- NASA contractor report -- NASA CR-209827.
Other Editions
- Efficient symbolic state-space construction for asynchronous systems
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!