TY  - RPRT
TI  - Verification of the PROS timing analysis package
AU  - Manning, K. R.
AU  - Conroy, M. A.
AU  - Deponte, J.
AU  - Moran, J. F.
AU  - Primini, F. A.
AU  - Seward, F. D.
AU  - Aschenbach, B.
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19940018035
ID  - 19940018035
ER  -