TY  - RPRT
TI  - A Tool for Automatic Verification of Real-Time Expert Systems
AU  - Traylor, Bonnie
PY  - 1994
UR  - https://ntrs.nasa.gov/citations/20060038393
ID  - 20060038393
ER  -