Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-3 of 3 results for author "Lüttgen, Gerald."
Efficient symbolic state-space construction for asynchronous systems [microform] / Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu.
- Text
- Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; Springfield, VA : National Technical Information Service, distributor, [1999]
- 1999
Priority in process algebras [microform] / Rance Cleaveland, Gerald Lüttgen, V. Natarajan.
- Text
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1999]
- 1999
A logical process calculus [microform] / Rance Cleaveland, Gerald Lüttgen.
- Text
- Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, VA : For sale by the National Technical Information Service, 2002]
- 2002
- 1 Resource
Available Online
http://purl.access.gpo.gov/GPO/LPS60571
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
