TY  - RPRT
TI  - CADAT logic simulation program
AU  - Mitchell, C. L.
AU  - Taylor, J. F.
PY  - 1981
UR  - https://ntrs.nasa.gov/citations/19800000432
ID  - 19800000432
ER  -