TY  - RPRT
TI  - Single-Cycle Versus Multicycle Proof Testing
AU  - Hudak, S. J., Jr.
AU  - Mcclung, R. C.
AU  - Bartlett, M. L.
AU  - Fitzgerald, J. H.
AU  - Russell, D. A.
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19920000761
ID  - 19920000761
ER  -