- Additional Authors
- Langley Research Center.
- Description
- 2 v.
- Series Statement
- NASA contractor report ; 181804
- Uniform Title
- NASA contractor report ; NASA CR-181804.
- Alternative Title
- Specifying real time systems with interval logic
- Subject
- Note
- Distributed to depository libraries in microfiche.
- Reproduction (note)
- Call Number
- READEX Microfiche NAS 1.26:181804
- OCLC
- marcive32616435
- Author
Rushby, John, 1949-
- Title
Specifying real-time systems with interval logic [microform] / John Rushby, principal investigator.
- Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1988-
- Series
NASA contractor report ; 181804
NASA contractor report ; NASA CR-181804.
- 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
- Research Call Number
READEX Microfiche NAS 1.26:181804