TY  - RPRT
TI  - Automated benchmark generation based upon a specification language
AU  - Rajan, N.
AU  - Feteih, S. E.
AU  - Saito, J.
PY  - 1984
UR  - https://ntrs.nasa.gov/citations/19850035698
ID  - 19850035698
ER  -