- Additional Authors
- Langley Research Center. https://id.oclc.org/worldcat/entity/E39QQPVp7MByGJ9vW6kyfqTqp6
- Description
- 2 volumes
- Series Statement
- NASA contractor report ; 181804
- Uniform Title
- NASA contractor report ; NASA CR-181804.
- Subject
- Note
- Distributed to depository libraries in microfiche.
- Reproduction (note)
- Call Number
- READEX Microfiche NAS 1.26:181804
- OCLC
- 32616435
- Author
Rushby, John, 1949-
- Title
Specifying real-time systems with interval logic / John Rushby, principal investigator.
- Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.] : [National Technical Information Service, distributor], [1988]-
- Type of Content
text
- Type of Medium
microform
- Type of Carrier
microfiche
- Series
NASA contractor report ; 181804
NASA contractor report ; NASA CR-181804. http://id.loc.gov/authorities/names/n83825229
- Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1989- <1> microfiche.
- Added Author
Langley Research Center.
- Gpo Item No.
0830-H-14 (MF)
- Sudoc No.
NAS 1.26:181804