TY  - RPRT
TI  - Fundamental Hardware Design in PVS
AU  - Leathrum, James F., Jr.
PY  - 1997
UR  - https://ntrs.nasa.gov/citations/19970029212
ID  - 19970029212
ER  -